srl	$1,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$0	srl	$22,	32,	$1	cmpult	$20,	$2,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$22	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$21	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$189	sll	$21,	32,	$1	addq	$6,	$1,	$6$189:	sll	$25,	32,	$5	ldq	$2,	16($18)	addq	$0,	$5,	$0	bis	$0,	$0,	$7	ldq	$4,	0($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$0,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$193	sll	$21,	32,	$1	addq	$6,	$1,	$6$193:	sll	$28,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$24,	$7,	$24	stq	$24,	16($16)	ldq	$4,	0($17)	ldq	$5,	24($18)	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$28,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$24	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$0,	$24,	$0	cmpult	$0,	$24,	$1	mulq	$6,	$8,	$6	beq	$1,	$197	sll	$21,	32,	$1	addq	$6,	$1,	$6$197:	sll	$0,	32,	$24	ldq	$1,	16($18)	addq	$2,	$24,	$2	bis	$2,	$2,	$7	ldq	$4,	8($17)	addq	$23,	$7,	$23	srl	$1,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$21	srl	$0,	32,	$1	cmpult	$2,	$24,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$24	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$20	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$201	sll	$20,	32,	$1	addq	$6,	$1,	$6$201:	sll	$25,	32,	$5	ldq	$2,	8($18)	addq	$21,	$5,	$21	bis	$21,	$21,	$7	ldq	$4,	16($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$21,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$205	sll	$20,	32,	$1	addq	$6,	$1,	$6$205:	sll	$28,	32,	$25	ldq	$2,	0($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$209	sll	$20,	32,	$1	addq	$6,	$1,	$6$209:	sll	$0,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$23,	$7,	$23	stq	$23,	24($16)	ldq	$4,	32($17)	ldq	$5,	0($18)	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$28	srl	$0,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$23	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$28,	$23,	$28	cmpult	$28,	$23,	$1	mulq	$6,	$8,	$6	beq	$1,	$213	sll	$20,	32,	$1	addq	$6,	$1,	$6$213:	sll	$28,	32,	$23	ldq	$1,	8($18)	addq	$2,	$23,	$2	bis	$2,	$2,	$7	ldq	$4,	24($17)	addq	$22,	$7,	$22	srl	$1,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$0	srl	$28,	32,	$1	cmpult	$2,	$23,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$23	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$21	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$217	sll	$21,	32,	$1	addq	$6,	$1,	$6$217:	sll	$25,	32,	$5	ldq	$2,	16($18)	addq	$0,	$5,	$0	bis	$0,	$0,	$7	ldq	$4,	16($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$0,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$221	sll	$21,	32,	$1	addq	$6,	$1,	$6$221:	sll	$28,	32,	$25	ldq	$2,	24($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	8($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$225	sll	$21,	32,	$1	addq	$6,	$1,	$6$225:	sll	$0,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	0($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$229	sll	$21,	32,	$1	addq	$6,	$1,	$6$229:	sll	$28,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$22,	$7,	$22	stq	$22,	32($16)	ldq	$4,	0($17)	ldq	$5,	40($18)	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$28,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$22	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$0,	$22,	$0	cmpult	$0,	$22,	$1	mulq	$6,	$8,	$6	beq	$1,	$233	sll	$21,	32,	$1	addq	$6,	$1,	$6$233:	sll	$0,	32,	$22	ldq	$1,	32($18)	addq	$2,	$22,	$2	bis	$2,	$2,	$7	ldq	$4,	8($17)	addq	$24,	$7,	$24	srl	$1,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$21	srl	$0,	32,	$1	cmpult	$2,	$22,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$22	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$20	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$237	sll	$20,	32,	$1	addq	$6,	$1,	$6$237:	sll	$25,	32,	$5	ldq	$2,	24($18)	addq	$21,	$5,	$21	bis	$21,	$21,	$7	ldq	$4,	16($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$21,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$241	sll	$20,	32,	$1	addq	$6,	$1,	$6$241:	sll	$28,	32,	$25	ldq	$2,	16($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$245	sll	$20,	32,	$1	addq	$6,	$1,	$6$245:	sll	$0,	32,	$25	ldq	$2,	8($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	32($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$249	sll	$20,	32,	$1	addq	$6,	$1,	$6$249:	sll	$28,	32,	$25	ldq	$2,	0($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	40($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$253	sll	$20,	32,	$1	addq	$6,	$1,	$6$253:	sll	$0,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$24,	$7,	$24	stq	$24,	40($16)	ldq	$4,	48($17)	ldq	$5,	0($18)	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$28	srl	$0,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$24	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$28,	$24,	$28	cmpult	$28,	$24,	$1	mulq	$6,	$8,	$6	beq	$1,	$257	sll	$20,	32,	$1	addq	$6,	$1,	$6$257:	sll	$28,	32,	$24	ldq	$1,	8($18)	addq	$2,	$24,	$2	bis	$2,	$2,	$7	ldq	$4,	40($17)	addq	$23,	$7,	$23	srl	$1,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$0	srl	$28,	32,	$1	cmpult	$2,	$24,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$24	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$21	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$261	sll	$21,	32,	$1	addq	$6,	$1,	$6$261:	sll	$25,	32,	$5	ldq	$2,	16($18)	addq	$0,	$5,	$0	bis	$0,	$0,	$7	ldq	$4,	32($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$0,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$265	sll	$21,	32,	$1	addq	$6,	$1,	$6$265:	sll	$28,	32,	$25	ldq	$2,	24($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$269	sll	$21,	32,	$1	addq	$6,	$1,	$6$269:	sll	$0,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	16($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$273	sll	$21,	32,	$1	addq	$6,	$1,	$6$273:	sll	$28,	32,	$25	ldq	$2,	40($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	8($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$277	sll	$21,	32,	$1	addq	$6,	$1,	$6$277:	sll	$0,	32,	$25	ldq	$2,	48($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	0($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$281	sll	$21,	32,	$1	addq	$6,	$1,	$6$281:	sll	$28,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$23,	$7,	$23	stq	$23,	48($16)	ldq	$4,	0($17)	ldq	$5,	56($18)	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$28,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$23	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$0,	$23,	$0	cmpult	$0,	$23,	$1	mulq	$6,	$8,	$6	beq	$1,	$285	sll	$21,	32,	$1	addq	$6,	$1,	$6$285:	sll	$0,	32,	$23	ldq	$1,	48($18)	addq	$2,	$23,	$2	bis	$2,	$2,	$7	ldq	$4,	8($17)	addq	$22,	$7,	$22	srl	$1,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$21	srl	$0,	32,	$1	cmpult	$2,	$23,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$23	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$20	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$289	sll	$20,	32,	$1	addq	$6,	$1,	$6$289:	sll	$25,	32,	$5	ldq	$2,	40($18)	addq	$21,	$5,	$21	bis	$21,	$21,	$7	ldq	$4,	16($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$21,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$293	sll	$20,	32,	$1	addq	$6,	$1,	$6$293:	sll	$28,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1