$ 1 0.000005 10.20027730826997 50 5 50
153 288 112 400 112 0 3 0 5
153 288 304 400 304 0 3 0 5
152 464 128 560 128 0 2 0 5
152 464 320 560 320 0 2 0 5
w 400 304 464 304 0
w 400 112 464 112 0
L 96 80 48 80 0 0 false 5 0
x 66 67 95 70 4 24 A1
I 144 304 224 304 0 0.5 5
I 144 80 224 80 0 0.5 5
w 560 128 592 128 0
w 560 320 624 320 0
M 592 128 672 128 0 2.5
M 624 320 672 320 0 2.5
x 635 108 767 111 4 24 GTout\s(A>B)
x 645 296 770 299 4 24 LTout\s(A<B)
L 96 304 48 304 0 0 false 5 0
x 68 289 97 292 4 24 B1
L 96 384 48 384 0 0 false 5 0
x 73 373 106 376 4 24 GT
x 73 437 99 440 4 24 LT
L 96 448 48 448 0 0 false 5 0
w 96 80 128 80 0
w 224 80 288 80 0
w 288 80 288 96 0
w 96 304 144 304 0
w 144 304 144 112 0
w 144 112 288 112 0
w 224 304 288 304 0
w 128 80 144 80 0
w 288 288 288 272 0
w 288 272 128 272 0
w 128 272 128 80 0
w 272 448 432 448 0
w 272 128 288 128 0
w 96 384 288 384 0
w 288 320 288 384 0
w 432 448 432 336 0
w 272 448 272 128 0
w 96 448 272 448 0
w 288 384 416 384 0
w 416 384 416 144 0
w 416 144 464 144 0
w 416 592 464 592 0
w 416 832 416 592 0
w 288 832 416 832 0
w 96 896 272 896 0
w 272 896 272 576 0
w 432 896 432 784 0
w 288 768 288 832 0
w 96 832 288 832 0
w 272 576 288 576 0
w 272 896 432 896 0
w 128 720 128 528 0
w 288 720 128 720 0
w 288 736 288 720 0
w 128 528 144 528 0
w 224 752 288 752 0
w 144 560 288 560 0
w 144 752 144 560 0
w 96 752 144 752 0
w 288 528 288 544 0
w 224 528 288 528 0
w 96 528 128 528 0
x 73 885 99 888 4 24 LT
x 73 821 106 824 4 24 GT
x 68 737 97 740 4 24 B0
L 96 752 48 752 0 0 false 5 0
x 645 744 770 747 4 24 LTout\s(A<B)
x 635 556 767 559 4 24 GTout\s(A>B)
M 624 768 672 768 0 2.5
M 624 576 672 576 0 2.5
w 560 768 624 768 0
w 560 576 624 576 0
I 144 528 224 528 0 0.5 5
I 144 752 224 752 0 0.5 5
x 66 515 95 518 4 24 A0
L 96 528 48 528 0 0 false 5 0
w 400 560 464 560 0
w 400 752 464 752 0
152 464 768 560 768 0 2 0 5
152 464 576 560 576 0 2 0 5
153 288 752 400 752 0 3 0 5
153 288 560 400 560 0 3 0 5
w 592 128 592 496 0
w 592 496 416 496 0
w 416 592 416 496 0
w 624 320 624 512 0
w 624 512 432 512 0
w 432 512 432 784 0
w 432 336 464 336 0
w 464 784 432 784 0