.data .p2align 5 mask_0_1: .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 1 .byte 255 mask_1_1: .word 0x1 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_2_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 mask_3_1: .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_4_1: .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_5_1: .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 1 .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 mask_6_1: .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_7_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 mask_8_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 14 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_9_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1000 .word 0x80 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_10_1: .byte 255 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 255 .byte 5 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 255 mask_11_1: .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_12_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x8010 .word 0x400 .word 0x20 mask_13_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 1 .byte 255 .byte 1 .byte 0 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_14_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x0 .word 0x0 .word 0x0 mask_15_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x200 .word 0x0 .word 0x0 .word 0x0 mask_16_1: .byte 3 .byte 2 .byte 1 .byte 255 .byte 15 .byte 0 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_17_1: .word 0x0 .word 0x0 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_18_1: .word 0x1002 .word 0x80 .word 0x2000 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_19_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_20_1: .word 0x0 .word 0x0 .word 0x4 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_21_1: .byte 1 .byte 0 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 mask_22_1: .word 0x8010 .word 0x400 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 mask_23_1: .byte 8 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_24_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_25_1: .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_26_1: .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 0 .byte 255 .byte 255 .byte 15 .byte 0 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 mask_27_1: .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2000 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 mask_28_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x20 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_29_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_30_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x400 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_31_1: .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 5 .byte 255 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 0 .byte 255 .byte 0 .byte 255 .byte 255 mask_32_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x0 mask_33_1: .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_34_1: .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 1 .byte 255 .byte 15 .byte 255 mask_35_1: .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x20 mask_36_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x0 mask_37_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 mask_38_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4 mask_39_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 255 .byte 15 .byte 14 .byte 13 .byte 12 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 mask_40_1: .word 0x0 .word 0x0 .word 0x0 .word 0x10 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 mask_41_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x2000 .word 0x100 .word 0x4008 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_42_1: .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 15 .byte 0 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 255 .byte 13 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 mask_43_1: .word 0x0 .word 0x0 .word 0x0 .word 0x8000 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_44_1: .word 0x20 .word 0x801 .word 0x40 .word 0x2 .word 0x80 .word 0x0 .word 0x0 .word 0x0 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 mask_45_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_46_1: .word 0x0 .word 0x0 .word 0x0 .word 0x1000 .word 0x0 .word 0x4 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_47_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 3 .byte 2 .byte 255 .byte 2 .byte 15 .byte 0 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 mask_48_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 mask_49_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4008 .word 0x200 .word 0x8000 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_50_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_51_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x10 .word 0x400 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_52_1: .byte 255 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 255 .byte 4 .byte 255 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 255 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 mask_53_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1000 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_54_1: .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 mask_55_1: .byte 13 .byte 255 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_56_1: .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_57_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 0 .byte 255 .byte 0 mask_58_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 mask_59_1: .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 255 .byte 2 .byte 15 .byte 0 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_60_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4000 .word 0x200 .word 0x8010 .word 0x400 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_61_1: .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x1 .word 0x40 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_62_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_63_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x800 .word 0x0 .word 0x2 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_64_1: .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 5 mask_65_1: .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x8 .word 0x0 .word 0x0 .word 0x0 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 mask_66_1: .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 255 .byte 2 .byte 1 .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_67_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x400 .word 0x20 .word 0x801 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_68_1: .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_69_1: .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 3 .byte 255 .byte 3 .byte 2 .byte 255 .byte 2 .byte 15 .byte 0 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 255 .byte 12 mask_70_1: .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x0 .word 0x0 .word 0x0 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 mask_71_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x80 .word 0x2004 .word 0x100 .word 0x4000 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_72_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_73_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x8 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_74_1: .byte 255 .byte 255 .byte 255 .byte 15 .byte 255 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 .byte 255 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 mask_75_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 mask_76_1: .word 0x0 .word 0x4000 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_77_1: .byte 255 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 10 .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 5 .byte 255 .byte 5 .byte 4 .byte 3 .byte 255 .byte 3 mask_78_1: .word 0x800 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_79_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 mask_80_1: .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_81_1: .word 0x100 .word 0x8 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_82_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 mask_83_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x100 .word 0x0 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 mask_84_1: .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 255 .byte 15 .byte 14 .byte 15 .byte 255 .byte 15 .byte 14 .byte 13 .byte 255 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 10 .byte 255 .byte 10 .byte 9 .byte 255 mask_85_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4008 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_86_1: .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x0 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x10 mask_87_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_88_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x801 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_89_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 2 .byte 255 .byte 2 .byte 1 .byte 255 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 mask_90_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x800 .word 0x40 .word 0x1002 mask_91_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x0 .word 0x0 .word 0x0 mask_92_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 0 .byte 255 .byte 255 .byte 255 mask_93_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x100 .word 0x8 .word 0x0 mask_94_1: .byte 12 .byte 255 .byte 12 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 0 .byte 255 .byte 255 .byte 15 .byte 255 .byte 15 mask_95_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1 .word 0x0 .word 0x0 mask_96_1: .word 0x80 .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4000 .word 0x200 mask_97_1: .byte 255 .byte 3 .byte 2 .byte 1 .byte 255 .byte 1 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 11 .byte 255 .byte 11 .byte 10 .byte 9 .byte 255 .byte 9 .byte 8 .byte 7 .byte 255 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 255 mask_98_1: .word 0x100 .word 0x4008 .word 0x200 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_99_1: .word 0x0 .word 0x0 .word 0x0 .word 0x100 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x20 .word 0x801 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 .word 0x8 mask_100_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 12 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_101_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_102_1: .byte 9 .byte 8 .byte 255 .byte 8 .byte 7 .byte 6 .byte 255 .byte 6 .byte 5 .byte 4 .byte 255 .byte 4 .byte 3 .byte 255 .byte 3 .byte 2 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 15 .byte 14 .byte 255 .byte 14 .byte 13 .byte 12 .byte 255 .byte 12 .byte 11 .byte 255 .byte 11 mask_103_1: .word 0x2004 .word 0x100 .word 0x4008 .word 0x200 .word 0x8010 .word 0x400 .word 0x20 .word 0x801 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_104_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x800 .word 0x40 .word 0x1002 .word 0x80 .word 0x2004 .word 0x100 mask_105_1: .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 1 .byte 255 .byte 1 .byte 255 .byte 0 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 .byte 255 mask_106_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x40 .word 0x2 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 mask_107_1: .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x1 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .word 0x0 .text .global PQCLEAN_NTRUHPS2048509_AVX2_square_126_509 .global _PQCLEAN_NTRUHPS2048509_AVX2_square_126_509 PQCLEAN_NTRUHPS2048509_AVX2_square_126_509: _PQCLEAN_NTRUHPS2048509_AVX2_square_126_509: vmovdqa 0(%rsi), %ymm0 vpshufb mask_0_1(%rip), %ymm0, %ymm4 vpand mask_1_1(%rip), %ymm4, %ymm1 vpand mask_2_1(%rip), %ymm4, %ymm2 vpermq $78, %ymm0, %ymm7 vpshufb mask_3_1(%rip), %ymm7, %ymm4 vpand mask_4_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $63, %ymm0, %ymm4 vpsllq $1, %ymm0, %ymm3 vpermq $147, %ymm4, %ymm5 vpxor %ymm3, %ymm5, %ymm5 vpshufb mask_5_1(%rip), %ymm5, %ymm4 vpand mask_6_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_7_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_8_1(%rip), %ymm7, %ymm4 vpand mask_9_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsllq $1, %ymm5, %ymm6 vpshufb mask_10_1(%rip), %ymm6, %ymm4 vpand mask_11_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_12_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm6, %ymm7 vpshufb mask_13_1(%rip), %ymm7, %ymm4 vpand mask_14_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_15_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $62, %ymm5, %ymm4 vpsllq $2, %ymm5, %ymm3 vpermq $147, %ymm4, %ymm6 vpxor %ymm3, %ymm6, %ymm6 vpshufb mask_16_1(%rip), %ymm6, %ymm4 vpand mask_17_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_18_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_19_1(%rip), %ymm6, %ymm4 vpand mask_20_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm6, %ymm7 vpshufb mask_21_1(%rip), %ymm7, %ymm4 vpand mask_22_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpsllq $1, %ymm6, %ymm5 vpshufb mask_23_1(%rip), %ymm5, %ymm4 vpand mask_24_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_25_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_26_1(%rip), %ymm7, %ymm4 vpand mask_27_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_28_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_29_1(%rip), %ymm7, %ymm4 vpand mask_30_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $62, %ymm6, %ymm4 vpsllq $2, %ymm6, %ymm3 vpermq $147, %ymm4, %ymm5 vpxor %ymm3, %ymm5, %ymm5 vpshufb mask_31_1(%rip), %ymm5, %ymm4 vpand mask_32_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_33_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_34_1(%rip), %ymm7, %ymm4 vpand mask_35_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_36_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_37_1(%rip), %ymm7, %ymm4 vpand mask_38_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsllq $1, %ymm5, %ymm6 vpshufb mask_39_1(%rip), %ymm6, %ymm4 vpand mask_40_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_41_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm6, %ymm7 vpshufb mask_42_1(%rip), %ymm7, %ymm4 vpand mask_43_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_44_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_45_1(%rip), %ymm7, %ymm4 vpand mask_46_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsllq $2, %ymm5, %ymm6 vpshufb mask_47_1(%rip), %ymm6, %ymm4 vpand mask_48_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_49_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_50_1(%rip), %ymm6, %ymm4 vpand mask_51_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm6, %ymm7 vpshufb mask_52_1(%rip), %ymm7, %ymm4 vpand mask_53_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_54_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vmovdqa 32(%rsi), %ymm0 vpshufb mask_55_1(%rip), %ymm0, %ymm4 vpand mask_56_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpermq $78, %ymm0, %ymm7 vpshufb mask_57_1(%rip), %ymm7, %ymm4 vpand mask_58_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpsllq $1, %ymm0, %ymm5 vpshufb mask_59_1(%rip), %ymm5, %ymm4 vpand mask_60_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_61_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_62_1(%rip), %ymm5, %ymm4 vpand mask_63_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_64_1(%rip), %ymm7, %ymm4 vpand mask_65_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpsllq $2, %ymm0, %ymm5 vpshufb mask_66_1(%rip), %ymm5, %ymm4 vpand mask_67_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_68_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_69_1(%rip), %ymm7, %ymm4 vpand mask_70_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_71_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_72_1(%rip), %ymm7, %ymm4 vpand mask_73_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $61, %ymm0, %ymm4 vpsllq $3, %ymm0, %ymm3 vpermq $147, %ymm4, %ymm5 vpxor %ymm3, %ymm5, %ymm5 vpshufb mask_74_1(%rip), %ymm5, %ymm4 vpand mask_75_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_76_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_77_1(%rip), %ymm7, %ymm4 vpand mask_78_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_79_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_80_1(%rip), %ymm7, %ymm4 vpand mask_81_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $63, %ymm5, %ymm4 vpsllq $1, %ymm5, %ymm3 vpermq $147, %ymm4, %ymm6 vpxor %ymm3, %ymm6, %ymm6 vpshufb mask_82_1(%rip), %ymm6, %ymm4 vpand mask_83_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpermq $78, %ymm6, %ymm7 vpshufb mask_84_1(%rip), %ymm7, %ymm4 vpand mask_85_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_86_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_87_1(%rip), %ymm7, %ymm4 vpand mask_88_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $63, %ymm6, %ymm4 vpsllq $1, %ymm6, %ymm3 vpermq $147, %ymm4, %ymm5 vpxor %ymm3, %ymm5, %ymm5 vpshufb mask_89_1(%rip), %ymm5, %ymm4 vpand mask_90_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_91_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpshufb mask_92_1(%rip), %ymm5, %ymm4 vpand mask_93_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_94_1(%rip), %ymm7, %ymm4 vpand mask_95_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_96_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $63, %ymm5, %ymm4 vpsllq $1, %ymm5, %ymm3 vpermq $147, %ymm4, %ymm6 vpxor %ymm3, %ymm6, %ymm6 vpshufb mask_97_1(%rip), %ymm6, %ymm4 vpand mask_98_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_99_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm6, %ymm7 vpshufb mask_100_1(%rip), %ymm7, %ymm4 vpand mask_101_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpsrlq $63, %ymm6, %ymm4 vpsllq $1, %ymm6, %ymm3 vpermq $147, %ymm4, %ymm5 vpxor %ymm3, %ymm5, %ymm5 vpshufb mask_102_1(%rip), %ymm5, %ymm4 vpand mask_103_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_104_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vpermq $78, %ymm5, %ymm7 vpshufb mask_105_1(%rip), %ymm7, %ymm4 vpand mask_106_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm1, %ymm1 vpand mask_107_1(%rip), %ymm4, %ymm3 vpxor %ymm3, %ymm2, %ymm2 vmovdqa %ymm1, 0(%rdi) vmovdqa %ymm2, 32(%rdi) ret