Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		TRUE.6022:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$80, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -76(%ebp)
				movl	%gs:20, %edx
				movl	%edx, -12(%ebp)
				xorl	%edx, %edx
				leal	8(%ebp), %edx
				movl	%edx, -64(%ebp)
				subl	$8, %esp
				pushl	-76(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2   %routine true
				pushl	%ebp
				movl	%esp, %ebp
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -4(%ebp)
    3   %end
				nop
				leave
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
    4   %integer a,b,c,d,e,f,g,h
    5
    6   ! conditionals
    7   true %if a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jne	.L251
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L5
		.L251:
				nop
		.L5:
    8   %comment   true %if a = b
    9   true %if a < b %or b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L252
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L253
				jmp	.L7
		.L252:
				nop
		.L7:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L8
		.L253:
				nop
		.L8:
   10   %comment   true %if a < b %or b < c
   11   true %if a < b %and b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L254
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L255
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L10
		.L254:
				nop
				jmp	.L10
		.L255:
				nop
		.L10:
		.LBB12:
   12   %comment   true %if a < b %and b < c
   13   true %if a < b < c
				movl	-56(%ebp), %eax
				movl	%eax, -48(%ebp)
				movl	-48(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L256
				movl	-48(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L257
		.LBE12:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L13
		.L256:
		.LBB13:
				nop
				jmp	.L13
		.L257:
				nop
		.L13:
		.LBE13:
   14   %comment   true %if a < b < c
   15   true %if a < b %and (a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L258
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L259
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L260
				jmp	.L18
		.L259:
				nop
		.L18:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L16
		.L258:
				nop
				jmp	.L16
		.L260:
				nop
		.L16:
   16   %comment   true %if a < b %and (a < b %or b < c)
   17   true %if a < b %and ((a < b %and b < c) %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L261
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L262
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L263
				jmp	.L22
		.L262:
				nop
		.L22:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L264
				jmp	.L23
		.L263:
				nop
		.L23:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L20
		.L261:
				nop
				jmp	.L20
		.L264:
				nop
		.L20:
   18   %comment   true %if a < b %and ((a < b %and b < c) %or b < c)
   19   true %if a < b %or ((a < b %or b < c) %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L265
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L266
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L267
				jmp	.L27
		.L266:
				nop
		.L27:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L268
				jmp	.L25
		.L265:
				nop
		.L25:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L28
		.L267:
				nop
				jmp	.L28
		.L268:
				nop
		.L28:
   20   %comment   true %if a < b %or ((a < b %or b < c) %and b < c)
   21
   22   true %unless a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				je	.L269
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L30
		.L269:
				nop
		.L30:
   23   %comment   true %unless a = b
   24   true %unless a < b %or b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L270
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L271
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L32
		.L270:
				nop
				jmp	.L32
		.L271:
				nop
		.L32:
   25   %comment   true %unless a < b %or b < c
   26   true %unless a < b %and b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L272
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L273
				jmp	.L35
		.L272:
				nop
		.L35:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L36
		.L273:
				nop
		.L36:
		.LBB14:
   27   %comment   true %unless a < b %and b < c
   28   true %unless a < b < c
				movl	-56(%ebp), %eax
				movl	%eax, -44(%ebp)
				movl	-44(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L274
				movl	-44(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L275
		.LBE14:
				jmp	.L38
		.L274:
		.LBB15:
				nop
		.L38:
		.LBE15:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L39
		.L275:
		.LBB16:
				nop
		.L39:
		.LBE16:
   29   %comment   true %unless a < b < c
   30   true %unless a < b %and (a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L276
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L277
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L278
				jmp	.L41
		.L276:
				nop
		.L41:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L43
		.L277:
				nop
				jmp	.L43
		.L278:
				nop
		.L43:
   31   %comment   true %unless a < b %and (a < b %or b < c)
   32   true %unless a < b %and ((a < b %and b < c) %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L279
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L280
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L281
				jmp	.L47
		.L280:
				nop
		.L47:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L282
				jmp	.L45
		.L279:
				nop
		.L45:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L48
		.L281:
				nop
				jmp	.L48
		.L282:
				nop
		.L48:
   33   %comment   true %unless a < b %and ((a < b %and b < c) %or b < c)
   34   true %unless a < b %or ((a < b %or b < c) %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L283
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L284
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L285
				jmp	.L52
		.L284:
				nop
		.L52:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L286
				jmp	.L53
		.L285:
				nop
		.L53:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L57
		.L50:
		.L283:
				nop
				jmp	.L57
		.L286:
				nop
		.L54:
		.L57:
   35   %comment   true %unless a < b %or ((a < b %or b < c) %and b < c)
   36
   37   true %while a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				je	.L55
				jmp	.L56
		.L55:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L57
		.L56:
		.L58:
   38   %comment   true %while a = b
   39   true %while a < b %or b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L287
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L288
				jmp	.L61
		.L287:
				nop
				jmp	.L60
		.L288:
				nop
		.L60:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L56
		.L61:
		.L62:
   40   %comment   true %while a < b %or b < c
   41   true %while a < b %and b < c
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L289
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L290
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L61
		.L64:
		.L289:
				nop
				jmp	.L70
		.L290:
				nop
		.L66:
		.L70:
		.LBB17:
   42   %comment   true %while a < b %and b < c
   43   true %while a < b < c
				movl	-56(%ebp), %eax
				movl	%eax, -40(%ebp)
				movl	-40(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L291
				movl	-40(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L292
		.LBE17:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L70
		.L68:
		.L291:
		.LBB18:
				nop
				jmp	.L76
		.L292:
				nop
		.L71:
		.L76:
		.LBE18:
   44   %comment   true %while a < b < c
   45   true %while a < b %and (a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L293
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L294
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L295
				jmp	.L75
		.L294:
				nop
		.L75:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L76
		.L73:
		.L293:
				nop
				jmp	.L83
		.L295:
				nop
		.L77:
		.L83:
   46   %comment   true %while a < b %and (a < b %or b < c)
   47   true %while a < b %and ((a < b %and b < c) %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L296
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L297
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L298
				jmp	.L81
		.L297:
				nop
		.L81:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L299
				jmp	.L82
		.L298:
				nop
		.L82:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L83
		.L79:
		.L296:
				nop
				jmp	.L90
		.L299:
				nop
		.L84:
		.L90:
   48   %comment   true %while a < b %and ((a < b %and b < c) %or b < c)
   49   true %while a < b %or ((a < b %or b < c) %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L300
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L301
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L302
				jmp	.L88
		.L301:
				nop
		.L88:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L303
				jmp	.L86
		.L300:
				nop
		.L86:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L90
		.L89:
		.L302:
				nop
				jmp	.L94
		.L303:
				nop
		.L91:
		.L94:
   50   %comment   true %while a < b %or ((a < b %or b < c) %and b < c)
   51
   52   true %until a = b
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jne	.L94
		.L93:
		.L95:
   53   %comment   true %until a = b
   54   true %until a < b %or b < c
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L304
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L305
				jmp	.L93
		.L97:
		.L304:
				nop
				jmp	.L103
		.L305:
				nop
		.L99:
		.L103:
   55   %comment   true %until a < b %or b < c
   56   true %until a < b %and b < c
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L306
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L307
				jmp	.L102
		.L306:
				nop
				jmp	.L103
		.L307:
				nop
		.L101:
				jmp	.L103
		.L102:
		.L104:
   57   %comment   true %until a < b %and b < c
   58   true %until a < b < c
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
		.LBB19:
				movl	-56(%ebp), %eax
				movl	%eax, -36(%ebp)
				movl	-36(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L308
				movl	-36(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L309
				jmp	.L107
		.L308:
				nop
				jmp	.L102
		.L309:
		.LBE19:
				nop
		.L106:
				jmp	.L102
		.L107:
		.L108:
   59   %comment   true %until a < b < c
   60   true %until a < b %and (a < b %or b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L310
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L311
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L312
				jmp	.L110
		.L310:
				nop
		.L110:
				jmp	.L107
		.L112:
		.L311:
				nop
				jmp	.L119
		.L312:
				nop
		.L113:
		.L119:
   61   %comment   true %until a < b %and (a < b %or b < c)
   62   true %until a < b %and ((a < b %and b < c) %or b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L313
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L314
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L315
				jmp	.L117
		.L314:
				nop
		.L117:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L316
				jmp	.L115
		.L313:
				nop
		.L115:
				jmp	.L119
		.L118:
		.L315:
				nop
				jmp	.L126
		.L316:
				nop
		.L120:
		.L126:
   63   %comment   true %until a < b %and ((a < b %and b < c) %or b < c)
   64   true %until a < b %or ((a < b %or b < c) %and b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L317
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L318
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L319
				jmp	.L124
		.L318:
				nop
		.L124:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L320
				jmp	.L125
		.L319:
				nop
		.L125:
				jmp	.L126
		.L317:
				nop
				jmp	.L122
		.L320:
				nop
		.L122:
   65   %comment   true %until a < b %or ((a < b %or b < c) %and b < c)
   66
   67   ! conditionals
   68   true %if %not a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				je	.L321
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L128
		.L321:
				nop
		.L128:
   69   %comment   true %if %not a = b
   70   true %if %not ( a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L322
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L323
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L130
		.L322:
				nop
				jmp	.L130
		.L323:
				nop
		.L130:
   71   %comment   true %if %not ( a < b %or b < c)
   72   true %if %not ( a < b %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L324
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L325
				jmp	.L133
		.L324:
				nop
		.L133:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L134
		.L325:
				nop
		.L134:
		.LBB20:
   73   %comment   true %if %not ( a < b %and b < c)
   74   true %if %not ( a < b < c)
				movl	-56(%ebp), %eax
				movl	%eax, -32(%ebp)
				movl	-32(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L326
				movl	-32(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L327
		.LBE20:
				jmp	.L136
		.L326:
		.LBB21:
				nop
		.L136:
		.LBE21:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L137
		.L327:
		.LBB22:
				nop
		.L137:
		.LBE22:
   75   %comment   true %if %not ( a < b < c)
   76   true %if %not ( a < b %and (a < b %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L328
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L329
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L330
				jmp	.L139
		.L328:
				nop
		.L139:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L141
		.L329:
				nop
				jmp	.L141
		.L330:
				nop
		.L141:
   77   %comment   true %if %not ( a < b %and (a < b %or b < c))
   78   true %if %not ( a < b %and ((a < b %and b < c) %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L331
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L332
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L333
				jmp	.L145
		.L332:
				nop
		.L145:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L334
				jmp	.L143
		.L331:
				nop
		.L143:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L146
		.L333:
				nop
				jmp	.L146
		.L334:
				nop
		.L146:
   79   %comment   true %if %not ( a < b %and ((a < b %and b < c) %or b < c))
   80   true %if %not ( a < b %or ((a < b %or b < c) %and b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L335
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L336
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L337
				jmp	.L150
		.L336:
				nop
		.L150:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L338
				jmp	.L151
		.L337:
				nop
		.L151:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L148
		.L335:
				nop
				jmp	.L148
		.L338:
				nop
		.L148:
   81   %comment   true %if %not ( a < b %or ((a < b %or b < c) %and b < c))
   82
   83   true %unless %not a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jne	.L339
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L153
		.L339:
				nop
		.L153:
   84   %comment   true %unless %not a = b
   85   true %unless %not ( a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L340
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L341
				jmp	.L155
		.L340:
				nop
		.L155:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L156
		.L341:
				nop
		.L156:
   86   %comment   true %unless %not ( a < b %or b < c)
   87   true %unless %not ( a < b %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L342
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L343
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L158
		.L342:
				nop
				jmp	.L158
		.L343:
				nop
		.L158:
		.LBB23:
   88   %comment   true %unless %not ( a < b %and b < c)
   89   true %unless %not ( a < b < c)
				movl	-56(%ebp), %eax
				movl	%eax, -28(%ebp)
				movl	-28(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L344
				movl	-28(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L345
		.LBE23:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L161
		.L344:
		.LBB24:
				nop
				jmp	.L161
		.L345:
				nop
		.L161:
		.LBE24:
   90   %comment   true %unless %not ( a < b < c)
   91   true %unless %not ( a < b %and (a < b %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L346
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L347
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L348
				jmp	.L166
		.L347:
				nop
		.L166:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L164
		.L346:
				nop
				jmp	.L164
		.L348:
				nop
		.L164:
   92   %comment   true %unless %not ( a < b %and (a < b %or b < c))
   93   true %unless %not ( a < b %and ((a < b %and b < c) %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L349
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L350
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L351
				jmp	.L170
		.L350:
				nop
		.L170:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L352
				jmp	.L171
		.L351:
				nop
		.L171:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L168
		.L349:
				nop
				jmp	.L168
		.L352:
				nop
		.L168:
   94   %comment   true %unless %not ( a < b %and ((a < b %and b < c) %or b < c))
   95   true %unless %not ( a < b %or ((a < b %or b < c) %and b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L353
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L354
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L355
				jmp	.L175
		.L354:
				nop
		.L175:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L356
				jmp	.L173
		.L353:
				nop
		.L173:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L180
		.L176:
		.L355:
				nop
				jmp	.L180
		.L356:
				nop
		.L177:
		.L180:
   96   %comment   true %unless %not ( a < b %or ((a < b %or b < c) %and b < c))
   97
   98   true %while %not a = b
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jne	.L178
				jmp	.L179
		.L178:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L180
		.L179:
		.L181:
   99   %comment   true %while %not a = b
  100   true %while %not ( a < b %or b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L357
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L358
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L179
		.L183:
		.L357:
				nop
				jmp	.L189
		.L358:
				nop
		.L185:
		.L189:
  101   %comment   true %while %not ( a < b %or b < c)
  102   true %while %not ( a < b %and b < c)
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L359
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L360
				jmp	.L188
		.L359:
				nop
				jmp	.L187
		.L360:
				nop
		.L187:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L189
		.L188:
		.L190:
		.LBB25:
  103   %comment   true %while %not ( a < b %and b < c)
  104   true %while %not ( a < b < c)
				movl	-56(%ebp), %eax
				movl	%eax, -24(%ebp)
				movl	-24(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L361
				movl	-24(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L362
				jmp	.L193
		.L361:
				nop
				jmp	.L192
		.L362:
		.LBE25:
				nop
		.L192:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L188
		.L193:
		.L194:
  105   %comment   true %while %not ( a < b < c)
  106   true %while %not ( a < b %and (a < b %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L363
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L364
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L365
				jmp	.L196
		.L363:
				nop
		.L196:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L193
		.L198:
		.L364:
				nop
				jmp	.L205
		.L365:
				nop
		.L199:
		.L205:
  107   %comment   true %while %not ( a < b %and (a < b %or b < c))
  108   true %while %not ( a < b %and ((a < b %and b < c) %or b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L366
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L367
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L368
				jmp	.L203
		.L367:
				nop
		.L203:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L369
				jmp	.L201
		.L366:
				nop
		.L201:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L205
		.L204:
		.L368:
				nop
				jmp	.L212
		.L369:
				nop
		.L206:
		.L212:
  109   %comment   true %while %not ( a < b %and ((a < b %and b < c) %or b < c))
  110   true %while %not ( a < b %or ((a < b %or b < c) %and b < c))
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L370
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L371
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L372
				jmp	.L210
		.L371:
				nop
		.L210:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L373
				jmp	.L211
		.L372:
				nop
		.L211:
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				jmp	.L212
		.L208:
		.L370:
				nop
				jmp	.L216
		.L373:
				nop
		.L213:
		.L216:
  111   %comment   true %while %not ( a < b %or ((a < b %or b < c) %and b < c))
  112
  113   true %until %not a = b
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				je	.L216
		.L215:
		.L217:
  114   %comment   true %until %not a = b
  115   true %until %not ( a < b %or b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L374
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L375
				jmp	.L220
		.L374:
				nop
				jmp	.L215
		.L375:
				nop
		.L219:
				jmp	.L215
		.L220:
		.L221:
  116   %comment   true %until %not ( a < b %or b < c)
  117   true %until %not ( a < b %and b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L376
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L377
				jmp	.L220
		.L223:
		.L376:
				nop
				jmp	.L229
		.L377:
				nop
		.L225:
		.L229:
  118   %comment   true %until %not ( a < b %and b < c)
  119   true %until %not ( a < b < c)
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
		.LBB26:
				movl	-56(%ebp), %eax
				movl	%eax, -20(%ebp)
				movl	-20(%ebp), %eax
				cmpl	-60(%ebp), %eax
				jle	.L378
				movl	-20(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L379
		.LBE26:
				jmp	.L229
		.L227:
		.L378:
		.LBB27:
				nop
				jmp	.L235
		.L379:
				nop
		.L230:
		.L235:
		.LBE27:
  120   %comment   true %until %not ( a < b < c)
  121   true %until %not ( a < b %and (a < b %or b < c))
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L380
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L381
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L382
				jmp	.L234
		.L381:
				nop
		.L234:
				jmp	.L235
		.L232:
		.L380:
				nop
				jmp	.L242
		.L382:
				nop
		.L236:
		.L242:
  122   %comment   true %until %not ( a < b %and (a < b %or b < c))
  123   true %until %not ( a < b %and ((a < b %and b < c) %or b < c))
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L383
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jge	.L384
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jl	.L385
				jmp	.L240
		.L384:
				nop
		.L240:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L386
				jmp	.L241
		.L385:
				nop
		.L241:
				jmp	.L242
		.L238:
		.L383:
				nop
				jmp	.L249
		.L386:
				nop
		.L243:
		.L249:
  124   %comment   true %until %not ( a < b %and ((a < b %and b < c) %or b < c))
  125   true %until %not ( a < b %or ((a < b %or b < c) %and b < c))
				leal	-64(%ebp), %eax
				movl	%eax, %ecx
				call	TRUE.6022
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L387
				movl	-60(%ebp), %eax
				cmpl	-56(%ebp), %eax
				jl	.L388
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L389
				jmp	.L247
		.L388:
				nop
		.L247:
				movl	-56(%ebp), %eax
				cmpl	-52(%ebp), %eax
				jge	.L390
				jmp	.L245
		.L387:
				nop
		.L245:
				jmp	.L249
		.L389:
				nop
				jmp	.L248
		.L390:
				nop
		.L248:
				movl	$0, -16(%ebp)
		.LBB28:
		.LBB29:
				subl	$12, %esp
				pushl	-16(%ebp)
				call	exit@PLT
		.LBE29:
		.LBE28:
		.LFE189:
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
  126   %comment   true %until %not ( a < b %or ((a < b %or b < c) %and b < c))
  127
  128 %endofprogram
?H unused
?G unused
?F unused
?E unused
?D unused
   61 Statements compiled