diff --git a/ps3/ps03q/wave.vcd b/ps3/ps03q/wave.vcd
new file mode 100644
index 0000000..0339e55
--- /dev/null
+++ b/ps3/ps03q/wave.vcd
@@ -0,0 +1,19747 @@
+$date
+	Mon Feb 24 00:17:16 2020
+$end
+$version
+	Icarus Verilog
+$end
+$timescale
+	100ps
+$end
+$scope module tlc_tb $end
+$var reg 8 ! MR_cars [7:0] $end
+$var reg 1 " clk $end
+$var reg 1 # rst $end
+$var integer 32 $ ii [31:0] $end
+$scope module unit_under_test $end
+$var wire 8 % MR_cars [7:0] $end
+$var wire 2 & MR_ctl [1:0] $end
+$var wire 2 ' SR_ctl [1:0] $end
+$var wire 1 " clk $end
+$var wire 1 # rst $end
+$var reg 2 ( r_MR_ctl [1:0] $end
+$var reg 2 ) r_SR_ctl [1:0] $end
+$var reg 5 * r_cnt [4:0] $end
+$var reg 3 + r_state [2:0] $end
+$upscope $end
+$upscope $end
+$enddefinitions $end
+#0
+$dumpvars
+b0 +
+b0 *
+b0 )
+b0 (
+b0 '
+b0 &
+b0 %
+b0 $
+0#
+0"
+b0 !
+$end
+#5
+1"
+#10
+0"
+#15
+1"
+#20
+0"
+#25
+1"
+#30
+0"
+#35
+1"
+#40
+0"
+#45
+1"
+#50
+0"
+#55
+1"
+#60
+0"
+#65
+1"
+#70
+0"
+#75
+1"
+#80
+0"
+#85
+1"
+#90
+0"
+#95
+1"
+#100
+0"
+b1 !
+b1 %
+b1 $
+1#
+#105
+b1 +
+1"
+#110
+0"
+#115
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#120
+0"
+#125
+b10 *
+1"
+#130
+0"
+#135
+b11 *
+1"
+#140
+0"
+#145
+b100 *
+1"
+#150
+0"
+#155
+b101 *
+1"
+#160
+0"
+#165
+b110 *
+1"
+#170
+0"
+#175
+b111 *
+1"
+#180
+0"
+#185
+b1000 *
+1"
+#190
+0"
+#195
+b1001 *
+1"
+#200
+0"
+b10 !
+b10 %
+b10 $
+#205
+b1010 *
+1"
+#210
+0"
+#215
+b1011 *
+1"
+#220
+0"
+#225
+b1100 *
+1"
+#230
+0"
+#235
+b1101 *
+1"
+#240
+0"
+#245
+b1110 *
+1"
+#250
+0"
+#255
+b1111 *
+1"
+#260
+0"
+#265
+b10000 *
+1"
+#270
+0"
+#275
+b10001 *
+1"
+#280
+0"
+#285
+b10010 *
+1"
+#290
+0"
+#295
+b10011 *
+1"
+#300
+0"
+b11 !
+b11 %
+b11 $
+#305
+b10100 *
+1"
+#310
+0"
+#315
+b10101 *
+1"
+#320
+0"
+#325
+b10110 *
+1"
+#330
+0"
+#335
+b10111 *
+1"
+#340
+0"
+#345
+b11000 *
+1"
+#350
+0"
+#355
+b11001 *
+1"
+#360
+0"
+#365
+b11010 *
+1"
+#370
+0"
+#375
+b11011 *
+1"
+#380
+0"
+#385
+b11100 *
+1"
+#390
+0"
+#395
+b11101 *
+1"
+#400
+0"
+b100 !
+b100 %
+b100 $
+#405
+b10 +
+b0 *
+1"
+#410
+0"
+#415
+b1 *
+1"
+#420
+0"
+#425
+b10 *
+1"
+#430
+0"
+#435
+b11 *
+1"
+#440
+0"
+#445
+b100 *
+1"
+#450
+0"
+#455
+b101 *
+1"
+#460
+0"
+#465
+b110 *
+1"
+#470
+0"
+#475
+b111 *
+1"
+#480
+0"
+#485
+b1000 *
+1"
+#490
+0"
+#495
+b1001 *
+1"
+#500
+0"
+b101 !
+b101 %
+b101 $
+#505
+b1010 *
+1"
+#510
+0"
+#515
+b1011 *
+1"
+#520
+0"
+#525
+b1100 *
+1"
+#530
+0"
+#535
+b1101 *
+1"
+#540
+0"
+#545
+b1110 *
+1"
+#550
+0"
+#555
+b1111 *
+1"
+#560
+0"
+#565
+b10000 *
+1"
+#570
+0"
+#575
+b10001 *
+1"
+#580
+0"
+#585
+b10010 *
+1"
+#590
+0"
+#595
+b10011 *
+1"
+#600
+0"
+b110 !
+b110 %
+b110 $
+#605
+b10100 *
+1"
+#610
+0"
+#615
+b10101 *
+1"
+#620
+0"
+#625
+b10110 *
+1"
+#630
+0"
+#635
+b10111 *
+1"
+#640
+0"
+#645
+b11000 *
+1"
+#650
+0"
+#655
+b11001 *
+1"
+#660
+0"
+#665
+b11010 *
+1"
+#670
+0"
+#675
+b11011 *
+1"
+#680
+0"
+#685
+b11100 *
+1"
+#690
+0"
+#695
+b11101 *
+1"
+#700
+0"
+b111 !
+b111 %
+b111 $
+#705
+b11 +
+b0 *
+1"
+#710
+0"
+#715
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#720
+0"
+#725
+b10 *
+1"
+#730
+0"
+#735
+b100 +
+b0 *
+1"
+#740
+0"
+#745
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#750
+0"
+#755
+b10 *
+1"
+#760
+0"
+#765
+b11 *
+1"
+#770
+0"
+#775
+b100 *
+1"
+#780
+0"
+#785
+b101 *
+1"
+#790
+0"
+#795
+b110 *
+1"
+#800
+0"
+b1000 !
+b1000 %
+b1000 $
+#805
+b111 *
+1"
+#810
+0"
+#815
+b1000 *
+1"
+#820
+0"
+#825
+b1001 *
+1"
+#830
+0"
+#835
+b101 +
+b0 *
+1"
+#840
+0"
+#845
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#850
+0"
+#855
+b10 *
+1"
+#860
+0"
+#865
+b1 +
+b0 *
+1"
+#870
+0"
+#875
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#880
+0"
+#885
+b10 *
+1"
+#890
+0"
+#895
+b11 *
+1"
+#900
+0"
+b1001 !
+b1001 %
+b1001 $
+#905
+b100 *
+1"
+#910
+0"
+#915
+b101 *
+1"
+#920
+0"
+#925
+b110 *
+1"
+#930
+0"
+#935
+b111 *
+1"
+#940
+0"
+#945
+b1000 *
+1"
+#950
+0"
+#955
+b1001 *
+1"
+#960
+0"
+#965
+b1010 *
+1"
+#970
+0"
+#975
+b1011 *
+1"
+#980
+0"
+#985
+b1100 *
+1"
+#990
+0"
+#995
+b1101 *
+1"
+#1000
+0"
+b1010 !
+b1010 %
+b1010 $
+#1005
+b1110 *
+1"
+#1010
+0"
+#1015
+b1111 *
+1"
+#1020
+0"
+#1025
+b10000 *
+1"
+#1030
+0"
+#1035
+b10001 *
+1"
+#1040
+0"
+#1045
+b10010 *
+1"
+#1050
+0"
+#1055
+b10011 *
+1"
+#1060
+0"
+#1065
+b10100 *
+1"
+#1070
+0"
+#1075
+b10101 *
+1"
+#1080
+0"
+#1085
+b10110 *
+1"
+#1090
+0"
+#1095
+b10111 *
+1"
+#1100
+0"
+b1011 !
+b1011 %
+b1011 $
+#1105
+b11000 *
+1"
+#1110
+0"
+#1115
+b11001 *
+1"
+#1120
+0"
+#1125
+b11010 *
+1"
+#1130
+0"
+#1135
+b11011 *
+1"
+#1140
+0"
+#1145
+b11100 *
+1"
+#1150
+0"
+#1155
+b11101 *
+1"
+#1160
+0"
+#1165
+b10 +
+b0 *
+1"
+#1170
+0"
+#1175
+b1 *
+1"
+#1180
+0"
+#1185
+b10 *
+1"
+#1190
+0"
+#1195
+b11 *
+1"
+#1200
+0"
+b1100 !
+b1100 %
+b1100 $
+#1205
+b100 *
+1"
+#1210
+0"
+#1215
+b101 *
+1"
+#1220
+0"
+#1225
+b110 *
+1"
+#1230
+0"
+#1235
+b111 *
+1"
+#1240
+0"
+#1245
+b1000 *
+1"
+#1250
+0"
+#1255
+b1001 *
+1"
+#1260
+0"
+#1265
+b1010 *
+1"
+#1270
+0"
+#1275
+b1011 *
+1"
+#1280
+0"
+#1285
+b1100 *
+1"
+#1290
+0"
+#1295
+b1101 *
+1"
+#1300
+0"
+b1101 !
+b1101 %
+b1101 $
+#1305
+b1110 *
+1"
+#1310
+0"
+#1315
+b1111 *
+1"
+#1320
+0"
+#1325
+b10000 *
+1"
+#1330
+0"
+#1335
+b10001 *
+1"
+#1340
+0"
+#1345
+b10010 *
+1"
+#1350
+0"
+#1355
+b10011 *
+1"
+#1360
+0"
+#1365
+b10100 *
+1"
+#1370
+0"
+#1375
+b10101 *
+1"
+#1380
+0"
+#1385
+b10110 *
+1"
+#1390
+0"
+#1395
+b10111 *
+1"
+#1400
+0"
+b1110 !
+b1110 %
+b1110 $
+#1405
+b11000 *
+1"
+#1410
+0"
+#1415
+b11001 *
+1"
+#1420
+0"
+#1425
+b11010 *
+1"
+#1430
+0"
+#1435
+b11011 *
+1"
+#1440
+0"
+#1445
+b11100 *
+1"
+#1450
+0"
+#1455
+b11101 *
+1"
+#1460
+0"
+#1465
+b11 +
+b0 *
+1"
+#1470
+0"
+#1475
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#1480
+0"
+#1485
+b10 *
+1"
+#1490
+0"
+#1495
+b100 +
+b0 *
+1"
+#1500
+0"
+b1111 !
+b1111 %
+b1111 $
+#1505
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#1510
+0"
+#1515
+b10 *
+1"
+#1520
+0"
+#1525
+b11 *
+1"
+#1530
+0"
+#1535
+b100 *
+1"
+#1540
+0"
+#1545
+b101 *
+1"
+#1550
+0"
+#1555
+b110 *
+1"
+#1560
+0"
+#1565
+b111 *
+1"
+#1570
+0"
+#1575
+b1000 *
+1"
+#1580
+0"
+#1585
+b1001 *
+1"
+#1590
+0"
+#1595
+b101 +
+b0 *
+1"
+#1600
+0"
+b10000 !
+b10000 %
+b10000 $
+#1605
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#1610
+0"
+#1615
+b10 *
+1"
+#1620
+0"
+#1625
+b1 +
+b0 *
+1"
+#1630
+0"
+#1635
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#1640
+0"
+#1645
+b10 *
+1"
+#1650
+0"
+#1655
+b11 *
+1"
+#1660
+0"
+#1665
+b100 *
+1"
+#1670
+0"
+#1675
+b101 *
+1"
+#1680
+0"
+#1685
+b110 *
+1"
+#1690
+0"
+#1695
+b111 *
+1"
+#1700
+0"
+b10001 !
+b10001 %
+b10001 $
+#1705
+b1000 *
+1"
+#1710
+0"
+#1715
+b1001 *
+1"
+#1720
+0"
+#1725
+b1010 *
+1"
+#1730
+0"
+#1735
+b1011 *
+1"
+#1740
+0"
+#1745
+b1100 *
+1"
+#1750
+0"
+#1755
+b1101 *
+1"
+#1760
+0"
+#1765
+b1110 *
+1"
+#1770
+0"
+#1775
+b1111 *
+1"
+#1780
+0"
+#1785
+b10000 *
+1"
+#1790
+0"
+#1795
+b10001 *
+1"
+#1800
+0"
+b10010 !
+b10010 %
+b10010 $
+#1805
+b10010 *
+1"
+#1810
+0"
+#1815
+b10011 *
+1"
+#1820
+0"
+#1825
+b10100 *
+1"
+#1830
+0"
+#1835
+b10101 *
+1"
+#1840
+0"
+#1845
+b10110 *
+1"
+#1850
+0"
+#1855
+b10111 *
+1"
+#1860
+0"
+#1865
+b11000 *
+1"
+#1870
+0"
+#1875
+b11001 *
+1"
+#1880
+0"
+#1885
+b11010 *
+1"
+#1890
+0"
+#1895
+b11011 *
+1"
+#1900
+0"
+b10011 !
+b10011 %
+b10011 $
+#1905
+b11100 *
+1"
+#1910
+0"
+#1915
+b11101 *
+1"
+#1920
+0"
+#1925
+b10 +
+b0 *
+1"
+#1930
+0"
+#1935
+b1 *
+1"
+#1940
+0"
+#1945
+b10 *
+1"
+#1950
+0"
+#1955
+b11 *
+1"
+#1960
+0"
+#1965
+b100 *
+1"
+#1970
+0"
+#1975
+b101 *
+1"
+#1980
+0"
+#1985
+b110 *
+1"
+#1990
+0"
+#1995
+b111 *
+1"
+#2000
+0"
+b10100 !
+b10100 %
+b10100 $
+#2005
+b1000 *
+1"
+#2010
+0"
+#2015
+b1001 *
+1"
+#2020
+0"
+#2025
+b1010 *
+1"
+#2030
+0"
+#2035
+b1011 *
+1"
+#2040
+0"
+#2045
+b1100 *
+1"
+#2050
+0"
+#2055
+b1101 *
+1"
+#2060
+0"
+#2065
+b1110 *
+1"
+#2070
+0"
+#2075
+b1111 *
+1"
+#2080
+0"
+#2085
+b10000 *
+1"
+#2090
+0"
+#2095
+b10001 *
+1"
+#2100
+0"
+b10101 !
+b10101 %
+b10101 $
+0#
+#2105
+b0 *
+b0 '
+b0 )
+b0 &
+b0 (
+b0 +
+1"
+#2110
+0"
+#2115
+1"
+#2120
+0"
+#2125
+1"
+#2130
+0"
+#2135
+1"
+#2140
+0"
+#2145
+1"
+#2150
+0"
+#2155
+1"
+#2160
+0"
+#2165
+1"
+#2170
+0"
+#2175
+1"
+#2180
+0"
+#2185
+1"
+#2190
+0"
+#2195
+1"
+#2200
+0"
+b10110 !
+b10110 %
+b10110 $
+#2205
+1"
+#2210
+0"
+#2215
+1"
+#2220
+0"
+#2225
+1"
+#2230
+0"
+#2235
+1"
+#2240
+0"
+#2245
+1"
+#2250
+0"
+#2255
+1"
+#2260
+0"
+#2265
+1"
+#2270
+0"
+#2275
+1"
+#2280
+0"
+#2285
+1"
+#2290
+0"
+#2295
+1"
+#2300
+0"
+b10111 !
+b10111 %
+b10111 $
+#2305
+1"
+#2310
+0"
+#2315
+1"
+#2320
+0"
+#2325
+1"
+#2330
+0"
+#2335
+1"
+#2340
+0"
+#2345
+1"
+#2350
+0"
+#2355
+1"
+#2360
+0"
+#2365
+1"
+#2370
+0"
+#2375
+1"
+#2380
+0"
+#2385
+1"
+#2390
+0"
+#2395
+1"
+#2400
+0"
+b11000 !
+b11000 %
+b11000 $
+#2405
+1"
+#2410
+0"
+#2415
+1"
+#2420
+0"
+#2425
+1"
+#2430
+0"
+#2435
+1"
+#2440
+0"
+#2445
+1"
+#2450
+0"
+#2455
+1"
+#2460
+0"
+#2465
+1"
+#2470
+0"
+#2475
+1"
+#2480
+0"
+#2485
+1"
+#2490
+0"
+#2495
+1"
+#2500
+0"
+b11001 !
+b11001 %
+b11001 $
+#2505
+1"
+#2510
+0"
+#2515
+1"
+#2520
+0"
+#2525
+1"
+#2530
+0"
+#2535
+1"
+#2540
+0"
+#2545
+1"
+#2550
+0"
+#2555
+1"
+#2560
+0"
+#2565
+1"
+#2570
+0"
+#2575
+1"
+#2580
+0"
+#2585
+1"
+#2590
+0"
+#2595
+1"
+#2600
+0"
+b11010 !
+b11010 %
+b11010 $
+#2605
+1"
+#2610
+0"
+#2615
+1"
+#2620
+0"
+#2625
+1"
+#2630
+0"
+#2635
+1"
+#2640
+0"
+#2645
+1"
+#2650
+0"
+#2655
+1"
+#2660
+0"
+#2665
+1"
+#2670
+0"
+#2675
+1"
+#2680
+0"
+#2685
+1"
+#2690
+0"
+#2695
+1"
+#2700
+0"
+b11011 !
+b11011 %
+b11011 $
+#2705
+1"
+#2710
+0"
+#2715
+1"
+#2720
+0"
+#2725
+1"
+#2730
+0"
+#2735
+1"
+#2740
+0"
+#2745
+1"
+#2750
+0"
+#2755
+1"
+#2760
+0"
+#2765
+1"
+#2770
+0"
+#2775
+1"
+#2780
+0"
+#2785
+1"
+#2790
+0"
+#2795
+1"
+#2800
+0"
+b11100 !
+b11100 %
+b11100 $
+#2805
+1"
+#2810
+0"
+#2815
+1"
+#2820
+0"
+#2825
+1"
+#2830
+0"
+#2835
+1"
+#2840
+0"
+#2845
+1"
+#2850
+0"
+#2855
+1"
+#2860
+0"
+#2865
+1"
+#2870
+0"
+#2875
+1"
+#2880
+0"
+#2885
+1"
+#2890
+0"
+#2895
+1"
+#2900
+0"
+b11101 !
+b11101 %
+b11101 $
+#2905
+1"
+#2910
+0"
+#2915
+1"
+#2920
+0"
+#2925
+1"
+#2930
+0"
+#2935
+1"
+#2940
+0"
+#2945
+1"
+#2950
+0"
+#2955
+1"
+#2960
+0"
+#2965
+1"
+#2970
+0"
+#2975
+1"
+#2980
+0"
+#2985
+1"
+#2990
+0"
+#2995
+1"
+#3000
+0"
+b11110 !
+b11110 %
+b11110 $
+#3005
+1"
+#3010
+0"
+#3015
+1"
+#3020
+0"
+#3025
+1"
+#3030
+0"
+#3035
+1"
+#3040
+0"
+#3045
+1"
+#3050
+0"
+#3055
+1"
+#3060
+0"
+#3065
+1"
+#3070
+0"
+#3075
+1"
+#3080
+0"
+#3085
+1"
+#3090
+0"
+#3095
+1"
+#3100
+0"
+b11111 !
+b11111 %
+b11111 $
+1#
+#3105
+b1 +
+1"
+#3110
+0"
+#3115
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#3120
+0"
+#3125
+b10 *
+1"
+#3130
+0"
+#3135
+b11 *
+1"
+#3140
+0"
+#3145
+b100 *
+1"
+#3150
+0"
+#3155
+b101 *
+1"
+#3160
+0"
+#3165
+b110 *
+1"
+#3170
+0"
+#3175
+b111 *
+1"
+#3180
+0"
+#3185
+b1000 *
+1"
+#3190
+0"
+#3195
+b1001 *
+1"
+#3200
+0"
+b100000 !
+b100000 %
+b100000 $
+#3205
+b1010 *
+1"
+#3210
+0"
+#3215
+b1011 *
+1"
+#3220
+0"
+#3225
+b1100 *
+1"
+#3230
+0"
+#3235
+b1101 *
+1"
+#3240
+0"
+#3245
+b1110 *
+1"
+#3250
+0"
+#3255
+b1111 *
+1"
+#3260
+0"
+#3265
+b10000 *
+1"
+#3270
+0"
+#3275
+b10001 *
+1"
+#3280
+0"
+#3285
+b10010 *
+1"
+#3290
+0"
+#3295
+b10011 *
+1"
+#3300
+0"
+b100001 !
+b100001 %
+b100001 $
+#3305
+b10100 *
+1"
+#3310
+0"
+#3315
+b10101 *
+1"
+#3320
+0"
+#3325
+b10110 *
+1"
+#3330
+0"
+#3335
+b10111 *
+1"
+#3340
+0"
+#3345
+b11000 *
+1"
+#3350
+0"
+#3355
+b11001 *
+1"
+#3360
+0"
+#3365
+b11010 *
+1"
+#3370
+0"
+#3375
+b11011 *
+1"
+#3380
+0"
+#3385
+b11100 *
+1"
+#3390
+0"
+#3395
+b11101 *
+1"
+#3400
+0"
+b100010 !
+b100010 %
+b100010 $
+#3405
+b10 +
+b0 *
+1"
+#3410
+0"
+#3415
+b1 *
+1"
+#3420
+0"
+#3425
+b10 *
+1"
+#3430
+0"
+#3435
+b11 *
+1"
+#3440
+0"
+#3445
+b100 *
+1"
+#3450
+0"
+#3455
+b101 *
+1"
+#3460
+0"
+#3465
+b110 *
+1"
+#3470
+0"
+#3475
+b111 *
+1"
+#3480
+0"
+#3485
+b1000 *
+1"
+#3490
+0"
+#3495
+b1001 *
+1"
+#3500
+0"
+b100011 !
+b100011 %
+b100011 $
+#3505
+b1010 *
+1"
+#3510
+0"
+#3515
+b1011 *
+1"
+#3520
+0"
+#3525
+b1100 *
+1"
+#3530
+0"
+#3535
+b1101 *
+1"
+#3540
+0"
+#3545
+b1110 *
+1"
+#3550
+0"
+#3555
+b1111 *
+1"
+#3560
+0"
+#3565
+b10000 *
+1"
+#3570
+0"
+#3575
+b10001 *
+1"
+#3580
+0"
+#3585
+b10010 *
+1"
+#3590
+0"
+#3595
+b10011 *
+1"
+#3600
+0"
+b100100 !
+b100100 %
+b100100 $
+#3605
+b10100 *
+1"
+#3610
+0"
+#3615
+b10101 *
+1"
+#3620
+0"
+#3625
+b10110 *
+1"
+#3630
+0"
+#3635
+b10111 *
+1"
+#3640
+0"
+#3645
+b11000 *
+1"
+#3650
+0"
+#3655
+b11001 *
+1"
+#3660
+0"
+#3665
+b11010 *
+1"
+#3670
+0"
+#3675
+b11011 *
+1"
+#3680
+0"
+#3685
+b11100 *
+1"
+#3690
+0"
+#3695
+b11101 *
+1"
+#3700
+0"
+b100101 !
+b100101 %
+b100101 $
+#3705
+b11 +
+b0 *
+1"
+#3710
+0"
+#3715
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#3720
+0"
+#3725
+b10 *
+1"
+#3730
+0"
+#3735
+b100 +
+b0 *
+1"
+#3740
+0"
+#3745
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#3750
+0"
+#3755
+b10 *
+1"
+#3760
+0"
+#3765
+b11 *
+1"
+#3770
+0"
+#3775
+b100 *
+1"
+#3780
+0"
+#3785
+b101 *
+1"
+#3790
+0"
+#3795
+b110 *
+1"
+#3800
+0"
+b100110 !
+b100110 %
+b100110 $
+#3805
+b111 *
+1"
+#3810
+0"
+#3815
+b1000 *
+1"
+#3820
+0"
+#3825
+b1001 *
+1"
+#3830
+0"
+#3835
+b101 +
+b0 *
+1"
+#3840
+0"
+#3845
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#3850
+0"
+#3855
+b10 *
+1"
+#3860
+0"
+#3865
+b1 +
+b0 *
+1"
+#3870
+0"
+#3875
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#3880
+0"
+#3885
+b10 *
+1"
+#3890
+0"
+#3895
+b11 *
+1"
+#3900
+0"
+b100111 !
+b100111 %
+b100111 $
+#3905
+b100 *
+1"
+#3910
+0"
+#3915
+b101 *
+1"
+#3920
+0"
+#3925
+b110 *
+1"
+#3930
+0"
+#3935
+b111 *
+1"
+#3940
+0"
+#3945
+b1000 *
+1"
+#3950
+0"
+#3955
+b1001 *
+1"
+#3960
+0"
+#3965
+b1010 *
+1"
+#3970
+0"
+#3975
+b1011 *
+1"
+#3980
+0"
+#3985
+b1100 *
+1"
+#3990
+0"
+#3995
+b1101 *
+1"
+#4000
+0"
+b101000 !
+b101000 %
+b101000 $
+#4005
+b1110 *
+1"
+#4010
+0"
+#4015
+b1111 *
+1"
+#4020
+0"
+#4025
+b10000 *
+1"
+#4030
+0"
+#4035
+b10001 *
+1"
+#4040
+0"
+#4045
+b10010 *
+1"
+#4050
+0"
+#4055
+b10011 *
+1"
+#4060
+0"
+#4065
+b10100 *
+1"
+#4070
+0"
+#4075
+b10101 *
+1"
+#4080
+0"
+#4085
+b10110 *
+1"
+#4090
+0"
+#4095
+b10111 *
+1"
+#4100
+0"
+b101001 !
+b101001 %
+b101001 $
+#4105
+b11000 *
+1"
+#4110
+0"
+#4115
+b11001 *
+1"
+#4120
+0"
+#4125
+b11010 *
+1"
+#4130
+0"
+#4135
+b11011 *
+1"
+#4140
+0"
+#4145
+b11100 *
+1"
+#4150
+0"
+#4155
+b11101 *
+1"
+#4160
+0"
+#4165
+b10 +
+b0 *
+1"
+#4170
+0"
+#4175
+b1 *
+1"
+#4180
+0"
+#4185
+b10 *
+1"
+#4190
+0"
+#4195
+b11 *
+1"
+#4200
+0"
+b101010 !
+b101010 %
+b101010 $
+#4205
+b100 *
+1"
+#4210
+0"
+#4215
+b101 *
+1"
+#4220
+0"
+#4225
+b110 *
+1"
+#4230
+0"
+#4235
+b111 *
+1"
+#4240
+0"
+#4245
+b1000 *
+1"
+#4250
+0"
+#4255
+b1001 *
+1"
+#4260
+0"
+#4265
+b1010 *
+1"
+#4270
+0"
+#4275
+b1011 *
+1"
+#4280
+0"
+#4285
+b1100 *
+1"
+#4290
+0"
+#4295
+b1101 *
+1"
+#4300
+0"
+b101011 !
+b101011 %
+b101011 $
+#4305
+b1110 *
+1"
+#4310
+0"
+#4315
+b1111 *
+1"
+#4320
+0"
+#4325
+b10000 *
+1"
+#4330
+0"
+#4335
+b10001 *
+1"
+#4340
+0"
+#4345
+b10010 *
+1"
+#4350
+0"
+#4355
+b10011 *
+1"
+#4360
+0"
+#4365
+b10100 *
+1"
+#4370
+0"
+#4375
+b10101 *
+1"
+#4380
+0"
+#4385
+b10110 *
+1"
+#4390
+0"
+#4395
+b10111 *
+1"
+#4400
+0"
+b101100 !
+b101100 %
+b101100 $
+#4405
+b11000 *
+1"
+#4410
+0"
+#4415
+b11001 *
+1"
+#4420
+0"
+#4425
+b11010 *
+1"
+#4430
+0"
+#4435
+b11011 *
+1"
+#4440
+0"
+#4445
+b11100 *
+1"
+#4450
+0"
+#4455
+b11101 *
+1"
+#4460
+0"
+#4465
+b11 +
+b0 *
+1"
+#4470
+0"
+#4475
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#4480
+0"
+#4485
+b10 *
+1"
+#4490
+0"
+#4495
+b100 +
+b0 *
+1"
+#4500
+0"
+b101101 !
+b101101 %
+b101101 $
+#4505
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#4510
+0"
+#4515
+b10 *
+1"
+#4520
+0"
+#4525
+b11 *
+1"
+#4530
+0"
+#4535
+b100 *
+1"
+#4540
+0"
+#4545
+b101 *
+1"
+#4550
+0"
+#4555
+b110 *
+1"
+#4560
+0"
+#4565
+b111 *
+1"
+#4570
+0"
+#4575
+b1000 *
+1"
+#4580
+0"
+#4585
+b1001 *
+1"
+#4590
+0"
+#4595
+b101 +
+b0 *
+1"
+#4600
+0"
+b101110 !
+b101110 %
+b101110 $
+#4605
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#4610
+0"
+#4615
+b10 *
+1"
+#4620
+0"
+#4625
+b1 +
+b0 *
+1"
+#4630
+0"
+#4635
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#4640
+0"
+#4645
+b10 *
+1"
+#4650
+0"
+#4655
+b11 *
+1"
+#4660
+0"
+#4665
+b100 *
+1"
+#4670
+0"
+#4675
+b101 *
+1"
+#4680
+0"
+#4685
+b110 *
+1"
+#4690
+0"
+#4695
+b111 *
+1"
+#4700
+0"
+b101111 !
+b101111 %
+b101111 $
+#4705
+b1000 *
+1"
+#4710
+0"
+#4715
+b1001 *
+1"
+#4720
+0"
+#4725
+b1010 *
+1"
+#4730
+0"
+#4735
+b1011 *
+1"
+#4740
+0"
+#4745
+b1100 *
+1"
+#4750
+0"
+#4755
+b1101 *
+1"
+#4760
+0"
+#4765
+b1110 *
+1"
+#4770
+0"
+#4775
+b1111 *
+1"
+#4780
+0"
+#4785
+b10000 *
+1"
+#4790
+0"
+#4795
+b10001 *
+1"
+#4800
+0"
+b110000 !
+b110000 %
+b110000 $
+#4805
+b10010 *
+1"
+#4810
+0"
+#4815
+b10011 *
+1"
+#4820
+0"
+#4825
+b10100 *
+1"
+#4830
+0"
+#4835
+b10101 *
+1"
+#4840
+0"
+#4845
+b10110 *
+1"
+#4850
+0"
+#4855
+b10111 *
+1"
+#4860
+0"
+#4865
+b11000 *
+1"
+#4870
+0"
+#4875
+b11001 *
+1"
+#4880
+0"
+#4885
+b11010 *
+1"
+#4890
+0"
+#4895
+b11011 *
+1"
+#4900
+0"
+b110001 !
+b110001 %
+b110001 $
+#4905
+b11100 *
+1"
+#4910
+0"
+#4915
+b11101 *
+1"
+#4920
+0"
+#4925
+b11 +
+b0 *
+1"
+#4930
+0"
+#4935
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#4940
+0"
+#4945
+b10 *
+1"
+#4950
+0"
+#4955
+b100 +
+b0 *
+1"
+#4960
+0"
+#4965
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#4970
+0"
+#4975
+b10 *
+1"
+#4980
+0"
+#4985
+b11 *
+1"
+#4990
+0"
+#4995
+b100 *
+1"
+#5000
+0"
+b0 !
+b0 %
+b110010 $
+#5005
+b101 *
+1"
+#5010
+0"
+#5015
+b110 *
+1"
+#5020
+0"
+#5025
+b111 *
+1"
+#5030
+0"
+#5035
+b1000 *
+1"
+#5040
+0"
+#5045
+b1001 *
+1"
+#5050
+0"
+#5055
+b101 +
+b0 *
+1"
+#5060
+0"
+#5065
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#5070
+0"
+#5075
+b10 *
+1"
+#5080
+0"
+#5085
+b1 +
+b0 *
+1"
+#5090
+0"
+#5095
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#5100
+0"
+#5105
+b10 *
+1"
+#5110
+0"
+#5115
+b11 *
+1"
+#5120
+0"
+#5125
+b100 *
+1"
+#5130
+0"
+#5135
+b101 *
+1"
+#5140
+0"
+#5145
+b110 *
+1"
+#5150
+0"
+#5155
+b111 *
+1"
+#5160
+0"
+#5165
+b1000 *
+1"
+#5170
+0"
+#5175
+b1001 *
+1"
+#5180
+0"
+#5185
+b1010 *
+1"
+#5190
+0"
+#5195
+b1011 *
+1"
+#5200
+0"
+#5205
+b1100 *
+1"
+#5210
+0"
+#5215
+b1101 *
+1"
+#5220
+0"
+#5225
+b1110 *
+1"
+#5230
+0"
+#5235
+b1111 *
+1"
+#5240
+0"
+#5245
+b10000 *
+1"
+#5250
+0"
+#5255
+b10001 *
+1"
+#5260
+0"
+#5265
+b10010 *
+1"
+#5270
+0"
+#5275
+b10011 *
+1"
+#5280
+0"
+#5285
+b10100 *
+1"
+#5290
+0"
+#5295
+b10101 *
+1"
+#5300
+0"
+#5305
+b10110 *
+1"
+#5310
+0"
+#5315
+b10111 *
+1"
+#5320
+0"
+#5325
+b11000 *
+1"
+#5330
+0"
+#5335
+b11001 *
+1"
+#5340
+0"
+#5345
+b11010 *
+1"
+#5350
+0"
+#5355
+b11011 *
+1"
+#5360
+0"
+#5365
+b11100 *
+1"
+#5370
+0"
+#5375
+b11101 *
+1"
+#5380
+0"
+#5385
+b0 *
+1"
+#5390
+0"
+#5395
+b1 *
+1"
+#5400
+0"
+#5405
+b10 *
+1"
+#5410
+0"
+#5415
+b11 *
+1"
+#5420
+0"
+#5425
+b100 *
+1"
+#5430
+0"
+#5435
+b101 *
+1"
+#5440
+0"
+#5445
+b110 *
+1"
+#5450
+0"
+#5455
+b111 *
+1"
+#5460
+0"
+#5465
+b1000 *
+1"
+#5470
+0"
+#5475
+b1001 *
+1"
+#5480
+0"
+#5485
+b1010 *
+1"
+#5490
+0"
+#5495
+b1011 *
+1"
+#5500
+0"
+#5505
+b1100 *
+1"
+#5510
+0"
+#5515
+b1101 *
+1"
+#5520
+0"
+#5525
+b1110 *
+1"
+#5530
+0"
+#5535
+b1111 *
+1"
+#5540
+0"
+#5545
+b10000 *
+1"
+#5550
+0"
+#5555
+b10001 *
+1"
+#5560
+0"
+#5565
+b10010 *
+1"
+#5570
+0"
+#5575
+b10011 *
+1"
+#5580
+0"
+#5585
+b10100 *
+1"
+#5590
+0"
+#5595
+b10101 *
+1"
+#5600
+0"
+#5605
+b10110 *
+1"
+#5610
+0"
+#5615
+b10111 *
+1"
+#5620
+0"
+#5625
+b11000 *
+1"
+#5630
+0"
+#5635
+b11001 *
+1"
+#5640
+0"
+#5645
+b11010 *
+1"
+#5650
+0"
+#5655
+b11011 *
+1"
+#5660
+0"
+#5665
+b11100 *
+1"
+#5670
+0"
+#5675
+b11101 *
+1"
+#5680
+0"
+#5685
+b0 *
+1"
+#5690
+0"
+#5695
+b1 *
+1"
+#5700
+0"
+#5705
+b10 *
+1"
+#5710
+0"
+#5715
+b11 *
+1"
+#5720
+0"
+#5725
+b100 *
+1"
+#5730
+0"
+#5735
+b101 *
+1"
+#5740
+0"
+#5745
+b110 *
+1"
+#5750
+0"
+#5755
+b111 *
+1"
+#5760
+0"
+#5765
+b1000 *
+1"
+#5770
+0"
+#5775
+b1001 *
+1"
+#5780
+0"
+#5785
+b1010 *
+1"
+#5790
+0"
+#5795
+b1011 *
+1"
+#5800
+0"
+#5805
+b1100 *
+1"
+#5810
+0"
+#5815
+b1101 *
+1"
+#5820
+0"
+#5825
+b1110 *
+1"
+#5830
+0"
+#5835
+b1111 *
+1"
+#5840
+0"
+#5845
+b10000 *
+1"
+#5850
+0"
+#5855
+b10001 *
+1"
+#5860
+0"
+#5865
+b10010 *
+1"
+#5870
+0"
+#5875
+b10011 *
+1"
+#5880
+0"
+#5885
+b10100 *
+1"
+#5890
+0"
+#5895
+b10101 *
+1"
+#5900
+0"
+#5905
+b10110 *
+1"
+#5910
+0"
+#5915
+b10111 *
+1"
+#5920
+0"
+#5925
+b11000 *
+1"
+#5930
+0"
+#5935
+b11001 *
+1"
+#5940
+0"
+#5945
+b11010 *
+1"
+#5950
+0"
+#5955
+b11011 *
+1"
+#5960
+0"
+#5965
+b11100 *
+1"
+#5970
+0"
+#5975
+b11101 *
+1"
+#5980
+0"
+#5985
+b0 *
+1"
+#5990
+0"
+#5995
+b1 *
+1"
+#6000
+0"
+b0 $
+#6005
+b10 *
+1"
+#6010
+0"
+#6015
+b11 *
+1"
+#6020
+0"
+#6025
+b100 *
+1"
+#6030
+0"
+#6035
+b101 *
+1"
+#6040
+0"
+#6045
+b110 *
+1"
+#6050
+0"
+#6055
+b111 *
+1"
+#6060
+0"
+#6065
+b1000 *
+1"
+#6070
+0"
+#6075
+b1001 *
+1"
+#6080
+0"
+#6085
+b1010 *
+1"
+#6090
+0"
+#6095
+b1011 *
+1"
+#6100
+0"
+#6105
+b1100 *
+1"
+#6110
+0"
+#6115
+b1101 *
+1"
+#6120
+0"
+#6125
+b1110 *
+1"
+#6130
+0"
+#6135
+b1111 *
+1"
+#6140
+0"
+#6145
+b10000 *
+1"
+#6150
+0"
+#6155
+b10001 *
+1"
+#6160
+0"
+#6165
+b10010 *
+1"
+#6170
+0"
+#6175
+b10011 *
+1"
+#6180
+0"
+#6185
+b10100 *
+1"
+#6190
+0"
+#6195
+b10101 *
+1"
+#6200
+0"
+#6205
+b10110 *
+1"
+#6210
+0"
+#6215
+b10111 *
+1"
+#6220
+0"
+#6225
+b11000 *
+1"
+#6230
+0"
+#6235
+b11001 *
+1"
+#6240
+0"
+#6245
+b11010 *
+1"
+#6250
+0"
+#6255
+b11011 *
+1"
+#6260
+0"
+#6265
+b11100 *
+1"
+#6270
+0"
+#6275
+b11101 *
+1"
+#6280
+0"
+#6285
+b0 *
+1"
+#6290
+0"
+#6295
+b1 *
+1"
+#6300
+0"
+#6305
+b10 *
+1"
+#6310
+0"
+#6315
+b11 *
+1"
+#6320
+0"
+#6325
+b100 *
+1"
+#6330
+0"
+#6335
+b101 *
+1"
+#6340
+0"
+#6345
+b110 *
+1"
+#6350
+0"
+#6355
+b111 *
+1"
+#6360
+0"
+#6365
+b1000 *
+1"
+#6370
+0"
+#6375
+b1001 *
+1"
+#6380
+0"
+#6385
+b1010 *
+1"
+#6390
+0"
+#6395
+b1011 *
+1"
+#6400
+0"
+#6405
+b1100 *
+1"
+#6410
+0"
+#6415
+b1101 *
+1"
+#6420
+0"
+#6425
+b1110 *
+1"
+#6430
+0"
+#6435
+b1111 *
+1"
+#6440
+0"
+#6445
+b10000 *
+1"
+#6450
+0"
+#6455
+b10001 *
+1"
+#6460
+0"
+#6465
+b10010 *
+1"
+#6470
+0"
+#6475
+b10011 *
+1"
+#6480
+0"
+#6485
+b10100 *
+1"
+#6490
+0"
+#6495
+b10101 *
+1"
+#6500
+0"
+#6505
+b10110 *
+1"
+#6510
+0"
+#6515
+b10111 *
+1"
+#6520
+0"
+#6525
+b11000 *
+1"
+#6530
+0"
+#6535
+b11001 *
+1"
+#6540
+0"
+#6545
+b11010 *
+1"
+#6550
+0"
+#6555
+b11011 *
+1"
+#6560
+0"
+#6565
+b11100 *
+1"
+#6570
+0"
+#6575
+b11101 *
+1"
+#6580
+0"
+#6585
+b0 *
+1"
+#6590
+0"
+#6595
+b1 *
+1"
+#6600
+0"
+b1 !
+b1 %
+b1 $
+#6605
+b10 *
+1"
+#6610
+0"
+#6615
+b11 *
+1"
+#6620
+0"
+#6625
+b100 *
+1"
+#6630
+0"
+#6635
+b101 *
+1"
+#6640
+0"
+#6645
+b110 *
+1"
+#6650
+0"
+#6655
+b111 *
+1"
+#6660
+0"
+#6665
+b1000 *
+1"
+#6670
+0"
+#6675
+b1001 *
+1"
+#6680
+0"
+#6685
+b1010 *
+1"
+#6690
+0"
+#6695
+b1011 *
+1"
+#6700
+0"
+#6705
+b1100 *
+1"
+#6710
+0"
+#6715
+b1101 *
+1"
+#6720
+0"
+#6725
+b1110 *
+1"
+#6730
+0"
+#6735
+b1111 *
+1"
+#6740
+0"
+#6745
+b10000 *
+1"
+#6750
+0"
+#6755
+b10001 *
+1"
+#6760
+0"
+#6765
+b10010 *
+1"
+#6770
+0"
+#6775
+b10011 *
+1"
+#6780
+0"
+#6785
+b10100 *
+1"
+#6790
+0"
+#6795
+b10101 *
+1"
+#6800
+0"
+#6805
+b10110 *
+1"
+#6810
+0"
+#6815
+b10111 *
+1"
+#6820
+0"
+#6825
+b11000 *
+1"
+#6830
+0"
+#6835
+b11001 *
+1"
+#6840
+0"
+#6845
+b11010 *
+1"
+#6850
+0"
+#6855
+b11011 *
+1"
+#6860
+0"
+#6865
+b11100 *
+1"
+#6870
+0"
+#6875
+b11101 *
+1"
+#6880
+0"
+#6885
+b10 +
+b0 *
+1"
+#6890
+0"
+#6895
+b1 *
+1"
+#6900
+0"
+#6905
+b10 *
+1"
+#6910
+0"
+#6915
+b11 *
+1"
+#6920
+0"
+#6925
+b100 *
+1"
+#6930
+0"
+#6935
+b101 *
+1"
+#6940
+0"
+#6945
+b110 *
+1"
+#6950
+0"
+#6955
+b111 *
+1"
+#6960
+0"
+#6965
+b1000 *
+1"
+#6970
+0"
+#6975
+b1001 *
+1"
+#6980
+0"
+#6985
+b1010 *
+1"
+#6990
+0"
+#6995
+b1011 *
+1"
+#7000
+0"
+#7005
+b1100 *
+1"
+#7010
+0"
+#7015
+b1101 *
+1"
+#7020
+0"
+#7025
+b1110 *
+1"
+#7030
+0"
+#7035
+b1111 *
+1"
+#7040
+0"
+#7045
+b10000 *
+1"
+#7050
+0"
+#7055
+b10001 *
+1"
+#7060
+0"
+#7065
+b10010 *
+1"
+#7070
+0"
+#7075
+b10011 *
+1"
+#7080
+0"
+#7085
+b10100 *
+1"
+#7090
+0"
+#7095
+b10101 *
+1"
+#7100
+0"
+#7105
+b10110 *
+1"
+#7110
+0"
+#7115
+b10111 *
+1"
+#7120
+0"
+#7125
+b11000 *
+1"
+#7130
+0"
+#7135
+b11001 *
+1"
+#7140
+0"
+#7145
+b11010 *
+1"
+#7150
+0"
+#7155
+b11011 *
+1"
+#7160
+0"
+#7165
+b11100 *
+1"
+#7170
+0"
+#7175
+b11101 *
+1"
+#7180
+0"
+#7185
+b11 +
+b0 *
+1"
+#7190
+0"
+#7195
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#7200
+0"
+b10 !
+b10 %
+b10 $
+#7205
+b10 *
+1"
+#7210
+0"
+#7215
+b100 +
+b0 *
+1"
+#7220
+0"
+#7225
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#7230
+0"
+#7235
+b10 *
+1"
+#7240
+0"
+#7245
+b11 *
+1"
+#7250
+0"
+#7255
+b100 *
+1"
+#7260
+0"
+#7265
+b101 *
+1"
+#7270
+0"
+#7275
+b110 *
+1"
+#7280
+0"
+#7285
+b111 *
+1"
+#7290
+0"
+#7295
+b1000 *
+1"
+#7300
+0"
+#7305
+b1001 *
+1"
+#7310
+0"
+#7315
+b101 +
+b0 *
+1"
+#7320
+0"
+#7325
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#7330
+0"
+#7335
+b10 *
+1"
+#7340
+0"
+#7345
+b1 +
+b0 *
+1"
+#7350
+0"
+#7355
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#7360
+0"
+#7365
+b10 *
+1"
+#7370
+0"
+#7375
+b11 *
+1"
+#7380
+0"
+#7385
+b100 *
+1"
+#7390
+0"
+#7395
+b101 *
+1"
+#7400
+0"
+#7405
+b110 *
+1"
+#7410
+0"
+#7415
+b111 *
+1"
+#7420
+0"
+#7425
+b1000 *
+1"
+#7430
+0"
+#7435
+b1001 *
+1"
+#7440
+0"
+#7445
+b1010 *
+1"
+#7450
+0"
+#7455
+b1011 *
+1"
+#7460
+0"
+#7465
+b1100 *
+1"
+#7470
+0"
+#7475
+b1101 *
+1"
+#7480
+0"
+#7485
+b1110 *
+1"
+#7490
+0"
+#7495
+b1111 *
+1"
+#7500
+0"
+#7505
+b10000 *
+1"
+#7510
+0"
+#7515
+b10001 *
+1"
+#7520
+0"
+#7525
+b10010 *
+1"
+#7530
+0"
+#7535
+b10011 *
+1"
+#7540
+0"
+#7545
+b10100 *
+1"
+#7550
+0"
+#7555
+b10101 *
+1"
+#7560
+0"
+#7565
+b10110 *
+1"
+#7570
+0"
+#7575
+b10111 *
+1"
+#7580
+0"
+#7585
+b11000 *
+1"
+#7590
+0"
+#7595
+b11001 *
+1"
+#7600
+0"
+#7605
+b11010 *
+1"
+#7610
+0"
+#7615
+b11011 *
+1"
+#7620
+0"
+#7625
+b11100 *
+1"
+#7630
+0"
+#7635
+b11101 *
+1"
+#7640
+0"
+#7645
+b10 +
+b0 *
+1"
+#7650
+0"
+#7655
+b1 *
+1"
+#7660
+0"
+#7665
+b10 *
+1"
+#7670
+0"
+#7675
+b11 *
+1"
+#7680
+0"
+#7685
+b100 *
+1"
+#7690
+0"
+#7695
+b101 *
+1"
+#7700
+0"
+#7705
+b110 *
+1"
+#7710
+0"
+#7715
+b111 *
+1"
+#7720
+0"
+#7725
+b1000 *
+1"
+#7730
+0"
+#7735
+b1001 *
+1"
+#7740
+0"
+#7745
+b1010 *
+1"
+#7750
+0"
+#7755
+b1011 *
+1"
+#7760
+0"
+#7765
+b1100 *
+1"
+#7770
+0"
+#7775
+b1101 *
+1"
+#7780
+0"
+#7785
+b1110 *
+1"
+#7790
+0"
+#7795
+b1111 *
+1"
+#7800
+0"
+b11 !
+b11 %
+b11 $
+#7805
+b10000 *
+1"
+#7810
+0"
+#7815
+b10001 *
+1"
+#7820
+0"
+#7825
+b10010 *
+1"
+#7830
+0"
+#7835
+b10011 *
+1"
+#7840
+0"
+#7845
+b10100 *
+1"
+#7850
+0"
+#7855
+b10101 *
+1"
+#7860
+0"
+#7865
+b10110 *
+1"
+#7870
+0"
+#7875
+b10111 *
+1"
+#7880
+0"
+#7885
+b11000 *
+1"
+#7890
+0"
+#7895
+b11001 *
+1"
+#7900
+0"
+#7905
+b11010 *
+1"
+#7910
+0"
+#7915
+b11011 *
+1"
+#7920
+0"
+#7925
+b11100 *
+1"
+#7930
+0"
+#7935
+b11101 *
+1"
+#7940
+0"
+#7945
+b11 +
+b0 *
+1"
+#7950
+0"
+#7955
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#7960
+0"
+#7965
+b10 *
+1"
+#7970
+0"
+#7975
+b100 +
+b0 *
+1"
+#7980
+0"
+#7985
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#7990
+0"
+#7995
+b10 *
+1"
+#8000
+0"
+#8005
+b11 *
+1"
+#8010
+0"
+#8015
+b100 *
+1"
+#8020
+0"
+#8025
+b101 *
+1"
+#8030
+0"
+#8035
+b110 *
+1"
+#8040
+0"
+#8045
+b111 *
+1"
+#8050
+0"
+#8055
+b1000 *
+1"
+#8060
+0"
+#8065
+b1001 *
+1"
+#8070
+0"
+#8075
+b101 +
+b0 *
+1"
+#8080
+0"
+#8085
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#8090
+0"
+#8095
+b10 *
+1"
+#8100
+0"
+#8105
+b1 +
+b0 *
+1"
+#8110
+0"
+#8115
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#8120
+0"
+#8125
+b10 *
+1"
+#8130
+0"
+#8135
+b11 *
+1"
+#8140
+0"
+#8145
+b100 *
+1"
+#8150
+0"
+#8155
+b101 *
+1"
+#8160
+0"
+#8165
+b110 *
+1"
+#8170
+0"
+#8175
+b111 *
+1"
+#8180
+0"
+#8185
+b1000 *
+1"
+#8190
+0"
+#8195
+b1001 *
+1"
+#8200
+0"
+#8205
+b1010 *
+1"
+#8210
+0"
+#8215
+b1011 *
+1"
+#8220
+0"
+#8225
+b1100 *
+1"
+#8230
+0"
+#8235
+b1101 *
+1"
+#8240
+0"
+#8245
+b1110 *
+1"
+#8250
+0"
+#8255
+b1111 *
+1"
+#8260
+0"
+#8265
+b10000 *
+1"
+#8270
+0"
+#8275
+b10001 *
+1"
+#8280
+0"
+#8285
+b10010 *
+1"
+#8290
+0"
+#8295
+b10011 *
+1"
+#8300
+0"
+#8305
+b10100 *
+1"
+#8310
+0"
+#8315
+b10101 *
+1"
+#8320
+0"
+#8325
+b10110 *
+1"
+#8330
+0"
+#8335
+b10111 *
+1"
+#8340
+0"
+#8345
+b11000 *
+1"
+#8350
+0"
+#8355
+b11001 *
+1"
+#8360
+0"
+#8365
+b11010 *
+1"
+#8370
+0"
+#8375
+b11011 *
+1"
+#8380
+0"
+#8385
+b11100 *
+1"
+#8390
+0"
+#8395
+b11101 *
+1"
+#8400
+0"
+b100 !
+b100 %
+b100 $
+#8405
+b10 +
+b0 *
+1"
+#8410
+0"
+#8415
+b1 *
+1"
+#8420
+0"
+#8425
+b10 *
+1"
+#8430
+0"
+#8435
+b11 *
+1"
+#8440
+0"
+#8445
+b100 *
+1"
+#8450
+0"
+#8455
+b101 *
+1"
+#8460
+0"
+#8465
+b110 *
+1"
+#8470
+0"
+#8475
+b111 *
+1"
+#8480
+0"
+#8485
+b1000 *
+1"
+#8490
+0"
+#8495
+b1001 *
+1"
+#8500
+0"
+#8505
+b1010 *
+1"
+#8510
+0"
+#8515
+b1011 *
+1"
+#8520
+0"
+#8525
+b1100 *
+1"
+#8530
+0"
+#8535
+b1101 *
+1"
+#8540
+0"
+#8545
+b1110 *
+1"
+#8550
+0"
+#8555
+b1111 *
+1"
+#8560
+0"
+#8565
+b10000 *
+1"
+#8570
+0"
+#8575
+b10001 *
+1"
+#8580
+0"
+#8585
+b10010 *
+1"
+#8590
+0"
+#8595
+b10011 *
+1"
+#8600
+0"
+#8605
+b10100 *
+1"
+#8610
+0"
+#8615
+b10101 *
+1"
+#8620
+0"
+#8625
+b10110 *
+1"
+#8630
+0"
+#8635
+b10111 *
+1"
+#8640
+0"
+#8645
+b11000 *
+1"
+#8650
+0"
+#8655
+b11001 *
+1"
+#8660
+0"
+#8665
+b11010 *
+1"
+#8670
+0"
+#8675
+b11011 *
+1"
+#8680
+0"
+#8685
+b11100 *
+1"
+#8690
+0"
+#8695
+b11101 *
+1"
+#8700
+0"
+#8705
+b11 +
+b0 *
+1"
+#8710
+0"
+#8715
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#8720
+0"
+#8725
+b10 *
+1"
+#8730
+0"
+#8735
+b100 +
+b0 *
+1"
+#8740
+0"
+#8745
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#8750
+0"
+#8755
+b10 *
+1"
+#8760
+0"
+#8765
+b11 *
+1"
+#8770
+0"
+#8775
+b100 *
+1"
+#8780
+0"
+#8785
+b101 *
+1"
+#8790
+0"
+#8795
+b110 *
+1"
+#8800
+0"
+#8805
+b111 *
+1"
+#8810
+0"
+#8815
+b1000 *
+1"
+#8820
+0"
+#8825
+b1001 *
+1"
+#8830
+0"
+#8835
+b101 +
+b0 *
+1"
+#8840
+0"
+#8845
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#8850
+0"
+#8855
+b10 *
+1"
+#8860
+0"
+#8865
+b1 +
+b0 *
+1"
+#8870
+0"
+#8875
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#8880
+0"
+#8885
+b10 *
+1"
+#8890
+0"
+#8895
+b11 *
+1"
+#8900
+0"
+#8905
+b100 *
+1"
+#8910
+0"
+#8915
+b101 *
+1"
+#8920
+0"
+#8925
+b110 *
+1"
+#8930
+0"
+#8935
+b111 *
+1"
+#8940
+0"
+#8945
+b1000 *
+1"
+#8950
+0"
+#8955
+b1001 *
+1"
+#8960
+0"
+#8965
+b1010 *
+1"
+#8970
+0"
+#8975
+b1011 *
+1"
+#8980
+0"
+#8985
+b1100 *
+1"
+#8990
+0"
+#8995
+b1101 *
+1"
+#9000
+0"
+b101 !
+b101 %
+b101 $
+#9005
+b1110 *
+1"
+#9010
+0"
+#9015
+b1111 *
+1"
+#9020
+0"
+#9025
+b10000 *
+1"
+#9030
+0"
+#9035
+b10001 *
+1"
+#9040
+0"
+#9045
+b10010 *
+1"
+#9050
+0"
+#9055
+b10011 *
+1"
+#9060
+0"
+#9065
+b10100 *
+1"
+#9070
+0"
+#9075
+b10101 *
+1"
+#9080
+0"
+#9085
+b10110 *
+1"
+#9090
+0"
+#9095
+b10111 *
+1"
+#9100
+0"
+#9105
+b11000 *
+1"
+#9110
+0"
+#9115
+b11001 *
+1"
+#9120
+0"
+#9125
+b11010 *
+1"
+#9130
+0"
+#9135
+b11011 *
+1"
+#9140
+0"
+#9145
+b11100 *
+1"
+#9150
+0"
+#9155
+b11101 *
+1"
+#9160
+0"
+#9165
+b10 +
+b0 *
+1"
+#9170
+0"
+#9175
+b1 *
+1"
+#9180
+0"
+#9185
+b10 *
+1"
+#9190
+0"
+#9195
+b11 *
+1"
+#9200
+0"
+#9205
+b100 *
+1"
+#9210
+0"
+#9215
+b101 *
+1"
+#9220
+0"
+#9225
+b110 *
+1"
+#9230
+0"
+#9235
+b111 *
+1"
+#9240
+0"
+#9245
+b1000 *
+1"
+#9250
+0"
+#9255
+b1001 *
+1"
+#9260
+0"
+#9265
+b1010 *
+1"
+#9270
+0"
+#9275
+b1011 *
+1"
+#9280
+0"
+#9285
+b1100 *
+1"
+#9290
+0"
+#9295
+b1101 *
+1"
+#9300
+0"
+#9305
+b1110 *
+1"
+#9310
+0"
+#9315
+b1111 *
+1"
+#9320
+0"
+#9325
+b10000 *
+1"
+#9330
+0"
+#9335
+b10001 *
+1"
+#9340
+0"
+#9345
+b10010 *
+1"
+#9350
+0"
+#9355
+b10011 *
+1"
+#9360
+0"
+#9365
+b10100 *
+1"
+#9370
+0"
+#9375
+b10101 *
+1"
+#9380
+0"
+#9385
+b10110 *
+1"
+#9390
+0"
+#9395
+b10111 *
+1"
+#9400
+0"
+#9405
+b11000 *
+1"
+#9410
+0"
+#9415
+b11001 *
+1"
+#9420
+0"
+#9425
+b11010 *
+1"
+#9430
+0"
+#9435
+b11011 *
+1"
+#9440
+0"
+#9445
+b11100 *
+1"
+#9450
+0"
+#9455
+b11101 *
+1"
+#9460
+0"
+#9465
+b11 +
+b0 *
+1"
+#9470
+0"
+#9475
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#9480
+0"
+#9485
+b10 *
+1"
+#9490
+0"
+#9495
+b100 +
+b0 *
+1"
+#9500
+0"
+#9505
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#9510
+0"
+#9515
+b10 *
+1"
+#9520
+0"
+#9525
+b11 *
+1"
+#9530
+0"
+#9535
+b100 *
+1"
+#9540
+0"
+#9545
+b101 *
+1"
+#9550
+0"
+#9555
+b110 *
+1"
+#9560
+0"
+#9565
+b111 *
+1"
+#9570
+0"
+#9575
+b1000 *
+1"
+#9580
+0"
+#9585
+b1001 *
+1"
+#9590
+0"
+#9595
+b101 +
+b0 *
+1"
+#9600
+0"
+b110 !
+b110 %
+b110 $
+#9605
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#9610
+0"
+#9615
+b10 *
+1"
+#9620
+0"
+#9625
+b1 +
+b0 *
+1"
+#9630
+0"
+#9635
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#9640
+0"
+#9645
+b10 *
+1"
+#9650
+0"
+#9655
+b11 *
+1"
+#9660
+0"
+#9665
+b100 *
+1"
+#9670
+0"
+#9675
+b101 *
+1"
+#9680
+0"
+#9685
+b110 *
+1"
+#9690
+0"
+#9695
+b111 *
+1"
+#9700
+0"
+#9705
+b1000 *
+1"
+#9710
+0"
+#9715
+b1001 *
+1"
+#9720
+0"
+#9725
+b1010 *
+1"
+#9730
+0"
+#9735
+b1011 *
+1"
+#9740
+0"
+#9745
+b1100 *
+1"
+#9750
+0"
+#9755
+b1101 *
+1"
+#9760
+0"
+#9765
+b1110 *
+1"
+#9770
+0"
+#9775
+b1111 *
+1"
+#9780
+0"
+#9785
+b10000 *
+1"
+#9790
+0"
+#9795
+b10001 *
+1"
+#9800
+0"
+#9805
+b10010 *
+1"
+#9810
+0"
+#9815
+b10011 *
+1"
+#9820
+0"
+#9825
+b10100 *
+1"
+#9830
+0"
+#9835
+b10101 *
+1"
+#9840
+0"
+#9845
+b10110 *
+1"
+#9850
+0"
+#9855
+b10111 *
+1"
+#9860
+0"
+#9865
+b11000 *
+1"
+#9870
+0"
+#9875
+b11001 *
+1"
+#9880
+0"
+#9885
+b11010 *
+1"
+#9890
+0"
+#9895
+b11011 *
+1"
+#9900
+0"
+#9905
+b11100 *
+1"
+#9910
+0"
+#9915
+b11101 *
+1"
+#9920
+0"
+#9925
+b10 +
+b0 *
+1"
+#9930
+0"
+#9935
+b1 *
+1"
+#9940
+0"
+#9945
+b10 *
+1"
+#9950
+0"
+#9955
+b11 *
+1"
+#9960
+0"
+#9965
+b100 *
+1"
+#9970
+0"
+#9975
+b101 *
+1"
+#9980
+0"
+#9985
+b110 *
+1"
+#9990
+0"
+#9995
+b111 *
+1"
+#10000
+0"
+#10005
+b1000 *
+1"
+#10010
+0"
+#10015
+b1001 *
+1"
+#10020
+0"
+#10025
+b1010 *
+1"
+#10030
+0"
+#10035
+b1011 *
+1"
+#10040
+0"
+#10045
+b1100 *
+1"
+#10050
+0"
+#10055
+b1101 *
+1"
+#10060
+0"
+#10065
+b1110 *
+1"
+#10070
+0"
+#10075
+b1111 *
+1"
+#10080
+0"
+#10085
+b10000 *
+1"
+#10090
+0"
+#10095
+b10001 *
+1"
+#10100
+0"
+#10105
+b10010 *
+1"
+#10110
+0"
+#10115
+b10011 *
+1"
+#10120
+0"
+#10125
+b10100 *
+1"
+#10130
+0"
+#10135
+b10101 *
+1"
+#10140
+0"
+#10145
+b10110 *
+1"
+#10150
+0"
+#10155
+b10111 *
+1"
+#10160
+0"
+#10165
+b11000 *
+1"
+#10170
+0"
+#10175
+b11001 *
+1"
+#10180
+0"
+#10185
+b11010 *
+1"
+#10190
+0"
+#10195
+b11011 *
+1"
+#10200
+0"
+b111 !
+b111 %
+b111 $
+#10205
+b11100 *
+1"
+#10210
+0"
+#10215
+b11101 *
+1"
+#10220
+0"
+#10225
+b11 +
+b0 *
+1"
+#10230
+0"
+#10235
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#10240
+0"
+#10245
+b10 *
+1"
+#10250
+0"
+#10255
+b100 +
+b0 *
+1"
+#10260
+0"
+#10265
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#10270
+0"
+#10275
+b10 *
+1"
+#10280
+0"
+#10285
+b11 *
+1"
+#10290
+0"
+#10295
+b100 *
+1"
+#10300
+0"
+#10305
+b101 *
+1"
+#10310
+0"
+#10315
+b110 *
+1"
+#10320
+0"
+#10325
+b111 *
+1"
+#10330
+0"
+#10335
+b1000 *
+1"
+#10340
+0"
+#10345
+b1001 *
+1"
+#10350
+0"
+#10355
+b101 +
+b0 *
+1"
+#10360
+0"
+#10365
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#10370
+0"
+#10375
+b10 *
+1"
+#10380
+0"
+#10385
+b1 +
+b0 *
+1"
+#10390
+0"
+#10395
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#10400
+0"
+#10405
+b10 *
+1"
+#10410
+0"
+#10415
+b11 *
+1"
+#10420
+0"
+#10425
+b100 *
+1"
+#10430
+0"
+#10435
+b101 *
+1"
+#10440
+0"
+#10445
+b110 *
+1"
+#10450
+0"
+#10455
+b111 *
+1"
+#10460
+0"
+#10465
+b1000 *
+1"
+#10470
+0"
+#10475
+b1001 *
+1"
+#10480
+0"
+#10485
+b1010 *
+1"
+#10490
+0"
+#10495
+b1011 *
+1"
+#10500
+0"
+#10505
+b1100 *
+1"
+#10510
+0"
+#10515
+b1101 *
+1"
+#10520
+0"
+#10525
+b1110 *
+1"
+#10530
+0"
+#10535
+b1111 *
+1"
+#10540
+0"
+#10545
+b10000 *
+1"
+#10550
+0"
+#10555
+b10001 *
+1"
+#10560
+0"
+#10565
+b10010 *
+1"
+#10570
+0"
+#10575
+b10011 *
+1"
+#10580
+0"
+#10585
+b10100 *
+1"
+#10590
+0"
+#10595
+b10101 *
+1"
+#10600
+0"
+#10605
+b10110 *
+1"
+#10610
+0"
+#10615
+b10111 *
+1"
+#10620
+0"
+#10625
+b11000 *
+1"
+#10630
+0"
+#10635
+b11001 *
+1"
+#10640
+0"
+#10645
+b11010 *
+1"
+#10650
+0"
+#10655
+b11011 *
+1"
+#10660
+0"
+#10665
+b11100 *
+1"
+#10670
+0"
+#10675
+b11101 *
+1"
+#10680
+0"
+#10685
+b10 +
+b0 *
+1"
+#10690
+0"
+#10695
+b1 *
+1"
+#10700
+0"
+#10705
+b10 *
+1"
+#10710
+0"
+#10715
+b11 *
+1"
+#10720
+0"
+#10725
+b100 *
+1"
+#10730
+0"
+#10735
+b101 *
+1"
+#10740
+0"
+#10745
+b110 *
+1"
+#10750
+0"
+#10755
+b111 *
+1"
+#10760
+0"
+#10765
+b1000 *
+1"
+#10770
+0"
+#10775
+b1001 *
+1"
+#10780
+0"
+#10785
+b1010 *
+1"
+#10790
+0"
+#10795
+b1011 *
+1"
+#10800
+0"
+b1000 !
+b1000 %
+b1000 $
+#10805
+b1100 *
+1"
+#10810
+0"
+#10815
+b1101 *
+1"
+#10820
+0"
+#10825
+b1110 *
+1"
+#10830
+0"
+#10835
+b1111 *
+1"
+#10840
+0"
+#10845
+b10000 *
+1"
+#10850
+0"
+#10855
+b10001 *
+1"
+#10860
+0"
+#10865
+b10010 *
+1"
+#10870
+0"
+#10875
+b10011 *
+1"
+#10880
+0"
+#10885
+b10100 *
+1"
+#10890
+0"
+#10895
+b10101 *
+1"
+#10900
+0"
+#10905
+b10110 *
+1"
+#10910
+0"
+#10915
+b10111 *
+1"
+#10920
+0"
+#10925
+b11000 *
+1"
+#10930
+0"
+#10935
+b11001 *
+1"
+#10940
+0"
+#10945
+b11010 *
+1"
+#10950
+0"
+#10955
+b11011 *
+1"
+#10960
+0"
+#10965
+b11100 *
+1"
+#10970
+0"
+#10975
+b11101 *
+1"
+#10980
+0"
+#10985
+b11 +
+b0 *
+1"
+#10990
+0"
+#10995
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#11000
+0"
+#11005
+b10 *
+1"
+#11010
+0"
+#11015
+b100 +
+b0 *
+1"
+#11020
+0"
+#11025
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#11030
+0"
+#11035
+b10 *
+1"
+#11040
+0"
+#11045
+b11 *
+1"
+#11050
+0"
+#11055
+b100 *
+1"
+#11060
+0"
+#11065
+b101 *
+1"
+#11070
+0"
+#11075
+b110 *
+1"
+#11080
+0"
+#11085
+b111 *
+1"
+#11090
+0"
+#11095
+b1000 *
+1"
+#11100
+0"
+#11105
+b1001 *
+1"
+#11110
+0"
+#11115
+b101 +
+b0 *
+1"
+#11120
+0"
+#11125
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#11130
+0"
+#11135
+b10 *
+1"
+#11140
+0"
+#11145
+b1 +
+b0 *
+1"
+#11150
+0"
+#11155
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#11160
+0"
+#11165
+b10 *
+1"
+#11170
+0"
+#11175
+b11 *
+1"
+#11180
+0"
+#11185
+b100 *
+1"
+#11190
+0"
+#11195
+b101 *
+1"
+#11200
+0"
+#11205
+b110 *
+1"
+#11210
+0"
+#11215
+b111 *
+1"
+#11220
+0"
+#11225
+b1000 *
+1"
+#11230
+0"
+#11235
+b1001 *
+1"
+#11240
+0"
+#11245
+b1010 *
+1"
+#11250
+0"
+#11255
+b1011 *
+1"
+#11260
+0"
+#11265
+b1100 *
+1"
+#11270
+0"
+#11275
+b1101 *
+1"
+#11280
+0"
+#11285
+b1110 *
+1"
+#11290
+0"
+#11295
+b1111 *
+1"
+#11300
+0"
+#11305
+b10000 *
+1"
+#11310
+0"
+#11315
+b10001 *
+1"
+#11320
+0"
+#11325
+b10010 *
+1"
+#11330
+0"
+#11335
+b10011 *
+1"
+#11340
+0"
+#11345
+b10100 *
+1"
+#11350
+0"
+#11355
+b10101 *
+1"
+#11360
+0"
+#11365
+b10110 *
+1"
+#11370
+0"
+#11375
+b10111 *
+1"
+#11380
+0"
+#11385
+b11000 *
+1"
+#11390
+0"
+#11395
+b11001 *
+1"
+#11400
+0"
+b1001 !
+b1001 %
+b1001 $
+#11405
+b11010 *
+1"
+#11410
+0"
+#11415
+b11011 *
+1"
+#11420
+0"
+#11425
+b11100 *
+1"
+#11430
+0"
+#11435
+b11101 *
+1"
+#11440
+0"
+#11445
+b10 +
+b0 *
+1"
+#11450
+0"
+#11455
+b1 *
+1"
+#11460
+0"
+#11465
+b10 *
+1"
+#11470
+0"
+#11475
+b11 *
+1"
+#11480
+0"
+#11485
+b100 *
+1"
+#11490
+0"
+#11495
+b101 *
+1"
+#11500
+0"
+#11505
+b110 *
+1"
+#11510
+0"
+#11515
+b111 *
+1"
+#11520
+0"
+#11525
+b1000 *
+1"
+#11530
+0"
+#11535
+b1001 *
+1"
+#11540
+0"
+#11545
+b1010 *
+1"
+#11550
+0"
+#11555
+b1011 *
+1"
+#11560
+0"
+#11565
+b1100 *
+1"
+#11570
+0"
+#11575
+b1101 *
+1"
+#11580
+0"
+#11585
+b1110 *
+1"
+#11590
+0"
+#11595
+b1111 *
+1"
+#11600
+0"
+#11605
+b10000 *
+1"
+#11610
+0"
+#11615
+b10001 *
+1"
+#11620
+0"
+#11625
+b10010 *
+1"
+#11630
+0"
+#11635
+b10011 *
+1"
+#11640
+0"
+#11645
+b10100 *
+1"
+#11650
+0"
+#11655
+b10101 *
+1"
+#11660
+0"
+#11665
+b10110 *
+1"
+#11670
+0"
+#11675
+b10111 *
+1"
+#11680
+0"
+#11685
+b11000 *
+1"
+#11690
+0"
+#11695
+b11001 *
+1"
+#11700
+0"
+#11705
+b11010 *
+1"
+#11710
+0"
+#11715
+b11011 *
+1"
+#11720
+0"
+#11725
+b11100 *
+1"
+#11730
+0"
+#11735
+b11101 *
+1"
+#11740
+0"
+#11745
+b11 +
+b0 *
+1"
+#11750
+0"
+#11755
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#11760
+0"
+#11765
+b10 *
+1"
+#11770
+0"
+#11775
+b100 +
+b0 *
+1"
+#11780
+0"
+#11785
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#11790
+0"
+#11795
+b10 *
+1"
+#11800
+0"
+#11805
+b11 *
+1"
+#11810
+0"
+#11815
+b100 *
+1"
+#11820
+0"
+#11825
+b101 *
+1"
+#11830
+0"
+#11835
+b110 *
+1"
+#11840
+0"
+#11845
+b111 *
+1"
+#11850
+0"
+#11855
+b1000 *
+1"
+#11860
+0"
+#11865
+b1001 *
+1"
+#11870
+0"
+#11875
+b101 +
+b0 *
+1"
+#11880
+0"
+#11885
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#11890
+0"
+#11895
+b10 *
+1"
+#11900
+0"
+#11905
+b1 +
+b0 *
+1"
+#11910
+0"
+#11915
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#11920
+0"
+#11925
+b10 *
+1"
+#11930
+0"
+#11935
+b11 *
+1"
+#11940
+0"
+#11945
+b100 *
+1"
+#11950
+0"
+#11955
+b101 *
+1"
+#11960
+0"
+#11965
+b110 *
+1"
+#11970
+0"
+#11975
+b111 *
+1"
+#11980
+0"
+#11985
+b1000 *
+1"
+#11990
+0"
+#11995
+b1001 *
+1"
+#12000
+0"
+b1010 !
+b1010 %
+b1010 $
+#12005
+b1010 *
+1"
+#12010
+0"
+#12015
+b1011 *
+1"
+#12020
+0"
+#12025
+b1100 *
+1"
+#12030
+0"
+#12035
+b1101 *
+1"
+#12040
+0"
+#12045
+b1110 *
+1"
+#12050
+0"
+#12055
+b1111 *
+1"
+#12060
+0"
+#12065
+b10000 *
+1"
+#12070
+0"
+#12075
+b10001 *
+1"
+#12080
+0"
+#12085
+b10010 *
+1"
+#12090
+0"
+#12095
+b10011 *
+1"
+#12100
+0"
+#12105
+b10100 *
+1"
+#12110
+0"
+#12115
+b10101 *
+1"
+#12120
+0"
+#12125
+b10110 *
+1"
+#12130
+0"
+#12135
+b10111 *
+1"
+#12140
+0"
+#12145
+b11000 *
+1"
+#12150
+0"
+#12155
+b11001 *
+1"
+#12160
+0"
+#12165
+b11010 *
+1"
+#12170
+0"
+#12175
+b11011 *
+1"
+#12180
+0"
+#12185
+b11100 *
+1"
+#12190
+0"
+#12195
+b11101 *
+1"
+#12200
+0"
+#12205
+b10 +
+b0 *
+1"
+#12210
+0"
+#12215
+b1 *
+1"
+#12220
+0"
+#12225
+b10 *
+1"
+#12230
+0"
+#12235
+b11 *
+1"
+#12240
+0"
+#12245
+b100 *
+1"
+#12250
+0"
+#12255
+b101 *
+1"
+#12260
+0"
+#12265
+b110 *
+1"
+#12270
+0"
+#12275
+b111 *
+1"
+#12280
+0"
+#12285
+b1000 *
+1"
+#12290
+0"
+#12295
+b1001 *
+1"
+#12300
+0"
+#12305
+b1010 *
+1"
+#12310
+0"
+#12315
+b1011 *
+1"
+#12320
+0"
+#12325
+b1100 *
+1"
+#12330
+0"
+#12335
+b1101 *
+1"
+#12340
+0"
+#12345
+b1110 *
+1"
+#12350
+0"
+#12355
+b1111 *
+1"
+#12360
+0"
+#12365
+b10000 *
+1"
+#12370
+0"
+#12375
+b10001 *
+1"
+#12380
+0"
+#12385
+b10010 *
+1"
+#12390
+0"
+#12395
+b10011 *
+1"
+#12400
+0"
+#12405
+b10100 *
+1"
+#12410
+0"
+#12415
+b10101 *
+1"
+#12420
+0"
+#12425
+b10110 *
+1"
+#12430
+0"
+#12435
+b10111 *
+1"
+#12440
+0"
+#12445
+b11000 *
+1"
+#12450
+0"
+#12455
+b11001 *
+1"
+#12460
+0"
+#12465
+b11010 *
+1"
+#12470
+0"
+#12475
+b11011 *
+1"
+#12480
+0"
+#12485
+b11100 *
+1"
+#12490
+0"
+#12495
+b11101 *
+1"
+#12500
+0"
+#12505
+b11 +
+b0 *
+1"
+#12510
+0"
+#12515
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#12520
+0"
+#12525
+b10 *
+1"
+#12530
+0"
+#12535
+b100 +
+b0 *
+1"
+#12540
+0"
+#12545
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#12550
+0"
+#12555
+b10 *
+1"
+#12560
+0"
+#12565
+b11 *
+1"
+#12570
+0"
+#12575
+b100 *
+1"
+#12580
+0"
+#12585
+b101 *
+1"
+#12590
+0"
+#12595
+b110 *
+1"
+#12600
+0"
+b1011 !
+b1011 %
+b1011 $
+#12605
+b111 *
+1"
+#12610
+0"
+#12615
+b1000 *
+1"
+#12620
+0"
+#12625
+b1001 *
+1"
+#12630
+0"
+#12635
+b101 +
+b0 *
+1"
+#12640
+0"
+#12645
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#12650
+0"
+#12655
+b10 *
+1"
+#12660
+0"
+#12665
+b1 +
+b0 *
+1"
+#12670
+0"
+#12675
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#12680
+0"
+#12685
+b10 *
+1"
+#12690
+0"
+#12695
+b11 *
+1"
+#12700
+0"
+#12705
+b100 *
+1"
+#12710
+0"
+#12715
+b101 *
+1"
+#12720
+0"
+#12725
+b110 *
+1"
+#12730
+0"
+#12735
+b111 *
+1"
+#12740
+0"
+#12745
+b1000 *
+1"
+#12750
+0"
+#12755
+b1001 *
+1"
+#12760
+0"
+#12765
+b1010 *
+1"
+#12770
+0"
+#12775
+b1011 *
+1"
+#12780
+0"
+#12785
+b1100 *
+1"
+#12790
+0"
+#12795
+b1101 *
+1"
+#12800
+0"
+#12805
+b1110 *
+1"
+#12810
+0"
+#12815
+b1111 *
+1"
+#12820
+0"
+#12825
+b10000 *
+1"
+#12830
+0"
+#12835
+b10001 *
+1"
+#12840
+0"
+#12845
+b10010 *
+1"
+#12850
+0"
+#12855
+b10011 *
+1"
+#12860
+0"
+#12865
+b10100 *
+1"
+#12870
+0"
+#12875
+b10101 *
+1"
+#12880
+0"
+#12885
+b10110 *
+1"
+#12890
+0"
+#12895
+b10111 *
+1"
+#12900
+0"
+#12905
+b11000 *
+1"
+#12910
+0"
+#12915
+b11001 *
+1"
+#12920
+0"
+#12925
+b11010 *
+1"
+#12930
+0"
+#12935
+b11011 *
+1"
+#12940
+0"
+#12945
+b11100 *
+1"
+#12950
+0"
+#12955
+b11101 *
+1"
+#12960
+0"
+#12965
+b10 +
+b0 *
+1"
+#12970
+0"
+#12975
+b1 *
+1"
+#12980
+0"
+#12985
+b10 *
+1"
+#12990
+0"
+#12995
+b11 *
+1"
+#13000
+0"
+#13005
+b100 *
+1"
+#13010
+0"
+#13015
+b101 *
+1"
+#13020
+0"
+#13025
+b110 *
+1"
+#13030
+0"
+#13035
+b111 *
+1"
+#13040
+0"
+#13045
+b1000 *
+1"
+#13050
+0"
+#13055
+b1001 *
+1"
+#13060
+0"
+#13065
+b1010 *
+1"
+#13070
+0"
+#13075
+b1011 *
+1"
+#13080
+0"
+#13085
+b1100 *
+1"
+#13090
+0"
+#13095
+b1101 *
+1"
+#13100
+0"
+#13105
+b1110 *
+1"
+#13110
+0"
+#13115
+b1111 *
+1"
+#13120
+0"
+#13125
+b10000 *
+1"
+#13130
+0"
+#13135
+b10001 *
+1"
+#13140
+0"
+#13145
+b10010 *
+1"
+#13150
+0"
+#13155
+b10011 *
+1"
+#13160
+0"
+#13165
+b10100 *
+1"
+#13170
+0"
+#13175
+b10101 *
+1"
+#13180
+0"
+#13185
+b10110 *
+1"
+#13190
+0"
+#13195
+b10111 *
+1"
+#13200
+0"
+b1100 !
+b1100 %
+b1100 $
+#13205
+b11000 *
+1"
+#13210
+0"
+#13215
+b11001 *
+1"
+#13220
+0"
+#13225
+b11010 *
+1"
+#13230
+0"
+#13235
+b11011 *
+1"
+#13240
+0"
+#13245
+b11100 *
+1"
+#13250
+0"
+#13255
+b11101 *
+1"
+#13260
+0"
+#13265
+b11 +
+b0 *
+1"
+#13270
+0"
+#13275
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#13280
+0"
+#13285
+b10 *
+1"
+#13290
+0"
+#13295
+b100 +
+b0 *
+1"
+#13300
+0"
+#13305
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#13310
+0"
+#13315
+b10 *
+1"
+#13320
+0"
+#13325
+b11 *
+1"
+#13330
+0"
+#13335
+b100 *
+1"
+#13340
+0"
+#13345
+b101 *
+1"
+#13350
+0"
+#13355
+b110 *
+1"
+#13360
+0"
+#13365
+b111 *
+1"
+#13370
+0"
+#13375
+b1000 *
+1"
+#13380
+0"
+#13385
+b1001 *
+1"
+#13390
+0"
+#13395
+b101 +
+b0 *
+1"
+#13400
+0"
+#13405
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#13410
+0"
+#13415
+b10 *
+1"
+#13420
+0"
+#13425
+b1 +
+b0 *
+1"
+#13430
+0"
+#13435
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#13440
+0"
+#13445
+b10 *
+1"
+#13450
+0"
+#13455
+b11 *
+1"
+#13460
+0"
+#13465
+b100 *
+1"
+#13470
+0"
+#13475
+b101 *
+1"
+#13480
+0"
+#13485
+b110 *
+1"
+#13490
+0"
+#13495
+b111 *
+1"
+#13500
+0"
+#13505
+b1000 *
+1"
+#13510
+0"
+#13515
+b1001 *
+1"
+#13520
+0"
+#13525
+b1010 *
+1"
+#13530
+0"
+#13535
+b1011 *
+1"
+#13540
+0"
+#13545
+b1100 *
+1"
+#13550
+0"
+#13555
+b1101 *
+1"
+#13560
+0"
+#13565
+b1110 *
+1"
+#13570
+0"
+#13575
+b1111 *
+1"
+#13580
+0"
+#13585
+b10000 *
+1"
+#13590
+0"
+#13595
+b10001 *
+1"
+#13600
+0"
+#13605
+b10010 *
+1"
+#13610
+0"
+#13615
+b10011 *
+1"
+#13620
+0"
+#13625
+b10100 *
+1"
+#13630
+0"
+#13635
+b10101 *
+1"
+#13640
+0"
+#13645
+b10110 *
+1"
+#13650
+0"
+#13655
+b10111 *
+1"
+#13660
+0"
+#13665
+b11000 *
+1"
+#13670
+0"
+#13675
+b11001 *
+1"
+#13680
+0"
+#13685
+b11010 *
+1"
+#13690
+0"
+#13695
+b11011 *
+1"
+#13700
+0"
+#13705
+b11100 *
+1"
+#13710
+0"
+#13715
+b11101 *
+1"
+#13720
+0"
+#13725
+b10 +
+b0 *
+1"
+#13730
+0"
+#13735
+b1 *
+1"
+#13740
+0"
+#13745
+b10 *
+1"
+#13750
+0"
+#13755
+b11 *
+1"
+#13760
+0"
+#13765
+b100 *
+1"
+#13770
+0"
+#13775
+b101 *
+1"
+#13780
+0"
+#13785
+b110 *
+1"
+#13790
+0"
+#13795
+b111 *
+1"
+#13800
+0"
+b1101 !
+b1101 %
+b1101 $
+#13805
+b1000 *
+1"
+#13810
+0"
+#13815
+b1001 *
+1"
+#13820
+0"
+#13825
+b1010 *
+1"
+#13830
+0"
+#13835
+b1011 *
+1"
+#13840
+0"
+#13845
+b1100 *
+1"
+#13850
+0"
+#13855
+b1101 *
+1"
+#13860
+0"
+#13865
+b1110 *
+1"
+#13870
+0"
+#13875
+b1111 *
+1"
+#13880
+0"
+#13885
+b10000 *
+1"
+#13890
+0"
+#13895
+b10001 *
+1"
+#13900
+0"
+#13905
+b10010 *
+1"
+#13910
+0"
+#13915
+b10011 *
+1"
+#13920
+0"
+#13925
+b10100 *
+1"
+#13930
+0"
+#13935
+b10101 *
+1"
+#13940
+0"
+#13945
+b10110 *
+1"
+#13950
+0"
+#13955
+b10111 *
+1"
+#13960
+0"
+#13965
+b11000 *
+1"
+#13970
+0"
+#13975
+b11001 *
+1"
+#13980
+0"
+#13985
+b11010 *
+1"
+#13990
+0"
+#13995
+b11011 *
+1"
+#14000
+0"
+#14005
+b11100 *
+1"
+#14010
+0"
+#14015
+b11101 *
+1"
+#14020
+0"
+#14025
+b11 +
+b0 *
+1"
+#14030
+0"
+#14035
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#14040
+0"
+#14045
+b10 *
+1"
+#14050
+0"
+#14055
+b100 +
+b0 *
+1"
+#14060
+0"
+#14065
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#14070
+0"
+#14075
+b10 *
+1"
+#14080
+0"
+#14085
+b11 *
+1"
+#14090
+0"
+#14095
+b100 *
+1"
+#14100
+0"
+#14105
+b101 *
+1"
+#14110
+0"
+#14115
+b110 *
+1"
+#14120
+0"
+#14125
+b111 *
+1"
+#14130
+0"
+#14135
+b1000 *
+1"
+#14140
+0"
+#14145
+b1001 *
+1"
+#14150
+0"
+#14155
+b101 +
+b0 *
+1"
+#14160
+0"
+#14165
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#14170
+0"
+#14175
+b10 *
+1"
+#14180
+0"
+#14185
+b1 +
+b0 *
+1"
+#14190
+0"
+#14195
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#14200
+0"
+#14205
+b10 *
+1"
+#14210
+0"
+#14215
+b11 *
+1"
+#14220
+0"
+#14225
+b100 *
+1"
+#14230
+0"
+#14235
+b101 *
+1"
+#14240
+0"
+#14245
+b110 *
+1"
+#14250
+0"
+#14255
+b111 *
+1"
+#14260
+0"
+#14265
+b1000 *
+1"
+#14270
+0"
+#14275
+b1001 *
+1"
+#14280
+0"
+#14285
+b1010 *
+1"
+#14290
+0"
+#14295
+b1011 *
+1"
+#14300
+0"
+#14305
+b1100 *
+1"
+#14310
+0"
+#14315
+b1101 *
+1"
+#14320
+0"
+#14325
+b1110 *
+1"
+#14330
+0"
+#14335
+b1111 *
+1"
+#14340
+0"
+#14345
+b10000 *
+1"
+#14350
+0"
+#14355
+b10001 *
+1"
+#14360
+0"
+#14365
+b10010 *
+1"
+#14370
+0"
+#14375
+b10011 *
+1"
+#14380
+0"
+#14385
+b10100 *
+1"
+#14390
+0"
+#14395
+b10101 *
+1"
+#14400
+0"
+b1110 !
+b1110 %
+b1110 $
+#14405
+b10110 *
+1"
+#14410
+0"
+#14415
+b10111 *
+1"
+#14420
+0"
+#14425
+b11000 *
+1"
+#14430
+0"
+#14435
+b11001 *
+1"
+#14440
+0"
+#14445
+b11010 *
+1"
+#14450
+0"
+#14455
+b11011 *
+1"
+#14460
+0"
+#14465
+b11100 *
+1"
+#14470
+0"
+#14475
+b11101 *
+1"
+#14480
+0"
+#14485
+b10 +
+b0 *
+1"
+#14490
+0"
+#14495
+b1 *
+1"
+#14500
+0"
+#14505
+b10 *
+1"
+#14510
+0"
+#14515
+b11 *
+1"
+#14520
+0"
+#14525
+b100 *
+1"
+#14530
+0"
+#14535
+b101 *
+1"
+#14540
+0"
+#14545
+b110 *
+1"
+#14550
+0"
+#14555
+b111 *
+1"
+#14560
+0"
+#14565
+b1000 *
+1"
+#14570
+0"
+#14575
+b1001 *
+1"
+#14580
+0"
+#14585
+b1010 *
+1"
+#14590
+0"
+#14595
+b1011 *
+1"
+#14600
+0"
+#14605
+b1100 *
+1"
+#14610
+0"
+#14615
+b1101 *
+1"
+#14620
+0"
+#14625
+b1110 *
+1"
+#14630
+0"
+#14635
+b1111 *
+1"
+#14640
+0"
+#14645
+b10000 *
+1"
+#14650
+0"
+#14655
+b10001 *
+1"
+#14660
+0"
+#14665
+b10010 *
+1"
+#14670
+0"
+#14675
+b10011 *
+1"
+#14680
+0"
+#14685
+b10100 *
+1"
+#14690
+0"
+#14695
+b10101 *
+1"
+#14700
+0"
+#14705
+b10110 *
+1"
+#14710
+0"
+#14715
+b10111 *
+1"
+#14720
+0"
+#14725
+b11000 *
+1"
+#14730
+0"
+#14735
+b11001 *
+1"
+#14740
+0"
+#14745
+b11010 *
+1"
+#14750
+0"
+#14755
+b11011 *
+1"
+#14760
+0"
+#14765
+b11100 *
+1"
+#14770
+0"
+#14775
+b11101 *
+1"
+#14780
+0"
+#14785
+b11 +
+b0 *
+1"
+#14790
+0"
+#14795
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#14800
+0"
+#14805
+b10 *
+1"
+#14810
+0"
+#14815
+b100 +
+b0 *
+1"
+#14820
+0"
+#14825
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#14830
+0"
+#14835
+b10 *
+1"
+#14840
+0"
+#14845
+b11 *
+1"
+#14850
+0"
+#14855
+b100 *
+1"
+#14860
+0"
+#14865
+b101 *
+1"
+#14870
+0"
+#14875
+b110 *
+1"
+#14880
+0"
+#14885
+b111 *
+1"
+#14890
+0"
+#14895
+b1000 *
+1"
+#14900
+0"
+#14905
+b1001 *
+1"
+#14910
+0"
+#14915
+b101 +
+b0 *
+1"
+#14920
+0"
+#14925
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#14930
+0"
+#14935
+b10 *
+1"
+#14940
+0"
+#14945
+b1 +
+b0 *
+1"
+#14950
+0"
+#14955
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#14960
+0"
+#14965
+b10 *
+1"
+#14970
+0"
+#14975
+b11 *
+1"
+#14980
+0"
+#14985
+b100 *
+1"
+#14990
+0"
+#14995
+b101 *
+1"
+#15000
+0"
+b1111 !
+b1111 %
+b1111 $
+#15005
+b110 *
+1"
+#15010
+0"
+#15015
+b111 *
+1"
+#15020
+0"
+#15025
+b1000 *
+1"
+#15030
+0"
+#15035
+b1001 *
+1"
+#15040
+0"
+#15045
+b1010 *
+1"
+#15050
+0"
+#15055
+b1011 *
+1"
+#15060
+0"
+#15065
+b1100 *
+1"
+#15070
+0"
+#15075
+b1101 *
+1"
+#15080
+0"
+#15085
+b1110 *
+1"
+#15090
+0"
+#15095
+b1111 *
+1"
+#15100
+0"
+#15105
+b10000 *
+1"
+#15110
+0"
+#15115
+b10001 *
+1"
+#15120
+0"
+#15125
+b10010 *
+1"
+#15130
+0"
+#15135
+b10011 *
+1"
+#15140
+0"
+#15145
+b10100 *
+1"
+#15150
+0"
+#15155
+b10101 *
+1"
+#15160
+0"
+#15165
+b10110 *
+1"
+#15170
+0"
+#15175
+b10111 *
+1"
+#15180
+0"
+#15185
+b11000 *
+1"
+#15190
+0"
+#15195
+b11001 *
+1"
+#15200
+0"
+#15205
+b11010 *
+1"
+#15210
+0"
+#15215
+b11011 *
+1"
+#15220
+0"
+#15225
+b11100 *
+1"
+#15230
+0"
+#15235
+b11101 *
+1"
+#15240
+0"
+#15245
+b10 +
+b0 *
+1"
+#15250
+0"
+#15255
+b1 *
+1"
+#15260
+0"
+#15265
+b10 *
+1"
+#15270
+0"
+#15275
+b11 *
+1"
+#15280
+0"
+#15285
+b100 *
+1"
+#15290
+0"
+#15295
+b101 *
+1"
+#15300
+0"
+#15305
+b110 *
+1"
+#15310
+0"
+#15315
+b111 *
+1"
+#15320
+0"
+#15325
+b1000 *
+1"
+#15330
+0"
+#15335
+b1001 *
+1"
+#15340
+0"
+#15345
+b1010 *
+1"
+#15350
+0"
+#15355
+b1011 *
+1"
+#15360
+0"
+#15365
+b1100 *
+1"
+#15370
+0"
+#15375
+b1101 *
+1"
+#15380
+0"
+#15385
+b1110 *
+1"
+#15390
+0"
+#15395
+b1111 *
+1"
+#15400
+0"
+#15405
+b10000 *
+1"
+#15410
+0"
+#15415
+b10001 *
+1"
+#15420
+0"
+#15425
+b10010 *
+1"
+#15430
+0"
+#15435
+b10011 *
+1"
+#15440
+0"
+#15445
+b10100 *
+1"
+#15450
+0"
+#15455
+b10101 *
+1"
+#15460
+0"
+#15465
+b10110 *
+1"
+#15470
+0"
+#15475
+b10111 *
+1"
+#15480
+0"
+#15485
+b11000 *
+1"
+#15490
+0"
+#15495
+b11001 *
+1"
+#15500
+0"
+#15505
+b11010 *
+1"
+#15510
+0"
+#15515
+b11011 *
+1"
+#15520
+0"
+#15525
+b11100 *
+1"
+#15530
+0"
+#15535
+b11101 *
+1"
+#15540
+0"
+#15545
+b11 +
+b0 *
+1"
+#15550
+0"
+#15555
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#15560
+0"
+#15565
+b10 *
+1"
+#15570
+0"
+#15575
+b100 +
+b0 *
+1"
+#15580
+0"
+#15585
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#15590
+0"
+#15595
+b10 *
+1"
+#15600
+0"
+b10000 !
+b10000 %
+b10000 $
+#15605
+b11 *
+1"
+#15610
+0"
+#15615
+b100 *
+1"
+#15620
+0"
+#15625
+b101 *
+1"
+#15630
+0"
+#15635
+b110 *
+1"
+#15640
+0"
+#15645
+b111 *
+1"
+#15650
+0"
+#15655
+b1000 *
+1"
+#15660
+0"
+#15665
+b1001 *
+1"
+#15670
+0"
+#15675
+b101 +
+b0 *
+1"
+#15680
+0"
+#15685
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#15690
+0"
+#15695
+b10 *
+1"
+#15700
+0"
+#15705
+b1 +
+b0 *
+1"
+#15710
+0"
+#15715
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#15720
+0"
+#15725
+b10 *
+1"
+#15730
+0"
+#15735
+b11 *
+1"
+#15740
+0"
+#15745
+b100 *
+1"
+#15750
+0"
+#15755
+b101 *
+1"
+#15760
+0"
+#15765
+b110 *
+1"
+#15770
+0"
+#15775
+b111 *
+1"
+#15780
+0"
+#15785
+b1000 *
+1"
+#15790
+0"
+#15795
+b1001 *
+1"
+#15800
+0"
+#15805
+b1010 *
+1"
+#15810
+0"
+#15815
+b1011 *
+1"
+#15820
+0"
+#15825
+b1100 *
+1"
+#15830
+0"
+#15835
+b1101 *
+1"
+#15840
+0"
+#15845
+b1110 *
+1"
+#15850
+0"
+#15855
+b1111 *
+1"
+#15860
+0"
+#15865
+b10000 *
+1"
+#15870
+0"
+#15875
+b10001 *
+1"
+#15880
+0"
+#15885
+b10010 *
+1"
+#15890
+0"
+#15895
+b10011 *
+1"
+#15900
+0"
+#15905
+b10100 *
+1"
+#15910
+0"
+#15915
+b10101 *
+1"
+#15920
+0"
+#15925
+b10110 *
+1"
+#15930
+0"
+#15935
+b10111 *
+1"
+#15940
+0"
+#15945
+b11000 *
+1"
+#15950
+0"
+#15955
+b11001 *
+1"
+#15960
+0"
+#15965
+b11010 *
+1"
+#15970
+0"
+#15975
+b11011 *
+1"
+#15980
+0"
+#15985
+b11100 *
+1"
+#15990
+0"
+#15995
+b11101 *
+1"
+#16000
+0"
+#16005
+b10 +
+b0 *
+1"
+#16010
+0"
+#16015
+b1 *
+1"
+#16020
+0"
+#16025
+b10 *
+1"
+#16030
+0"
+#16035
+b11 *
+1"
+#16040
+0"
+#16045
+b100 *
+1"
+#16050
+0"
+#16055
+b101 *
+1"
+#16060
+0"
+#16065
+b110 *
+1"
+#16070
+0"
+#16075
+b111 *
+1"
+#16080
+0"
+#16085
+b1000 *
+1"
+#16090
+0"
+#16095
+b1001 *
+1"
+#16100
+0"
+#16105
+b1010 *
+1"
+#16110
+0"
+#16115
+b1011 *
+1"
+#16120
+0"
+#16125
+b1100 *
+1"
+#16130
+0"
+#16135
+b1101 *
+1"
+#16140
+0"
+#16145
+b1110 *
+1"
+#16150
+0"
+#16155
+b1111 *
+1"
+#16160
+0"
+#16165
+b10000 *
+1"
+#16170
+0"
+#16175
+b10001 *
+1"
+#16180
+0"
+#16185
+b10010 *
+1"
+#16190
+0"
+#16195
+b10011 *
+1"
+#16200
+0"
+b10001 !
+b10001 %
+b10001 $
+#16205
+b10100 *
+1"
+#16210
+0"
+#16215
+b10101 *
+1"
+#16220
+0"
+#16225
+b10110 *
+1"
+#16230
+0"
+#16235
+b10111 *
+1"
+#16240
+0"
+#16245
+b11000 *
+1"
+#16250
+0"
+#16255
+b11001 *
+1"
+#16260
+0"
+#16265
+b11010 *
+1"
+#16270
+0"
+#16275
+b11011 *
+1"
+#16280
+0"
+#16285
+b11100 *
+1"
+#16290
+0"
+#16295
+b11101 *
+1"
+#16300
+0"
+#16305
+b11 +
+b0 *
+1"
+#16310
+0"
+#16315
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#16320
+0"
+#16325
+b10 *
+1"
+#16330
+0"
+#16335
+b100 +
+b0 *
+1"
+#16340
+0"
+#16345
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#16350
+0"
+#16355
+b10 *
+1"
+#16360
+0"
+#16365
+b11 *
+1"
+#16370
+0"
+#16375
+b100 *
+1"
+#16380
+0"
+#16385
+b101 *
+1"
+#16390
+0"
+#16395
+b110 *
+1"
+#16400
+0"
+#16405
+b111 *
+1"
+#16410
+0"
+#16415
+b1000 *
+1"
+#16420
+0"
+#16425
+b1001 *
+1"
+#16430
+0"
+#16435
+b101 +
+b0 *
+1"
+#16440
+0"
+#16445
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#16450
+0"
+#16455
+b10 *
+1"
+#16460
+0"
+#16465
+b1 +
+b0 *
+1"
+#16470
+0"
+#16475
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#16480
+0"
+#16485
+b10 *
+1"
+#16490
+0"
+#16495
+b11 *
+1"
+#16500
+0"
+#16505
+b100 *
+1"
+#16510
+0"
+#16515
+b101 *
+1"
+#16520
+0"
+#16525
+b110 *
+1"
+#16530
+0"
+#16535
+b111 *
+1"
+#16540
+0"
+#16545
+b1000 *
+1"
+#16550
+0"
+#16555
+b1001 *
+1"
+#16560
+0"
+#16565
+b1010 *
+1"
+#16570
+0"
+#16575
+b1011 *
+1"
+#16580
+0"
+#16585
+b1100 *
+1"
+#16590
+0"
+#16595
+b1101 *
+1"
+#16600
+0"
+#16605
+b1110 *
+1"
+#16610
+0"
+#16615
+b1111 *
+1"
+#16620
+0"
+#16625
+b10000 *
+1"
+#16630
+0"
+#16635
+b10001 *
+1"
+#16640
+0"
+#16645
+b10010 *
+1"
+#16650
+0"
+#16655
+b10011 *
+1"
+#16660
+0"
+#16665
+b10100 *
+1"
+#16670
+0"
+#16675
+b10101 *
+1"
+#16680
+0"
+#16685
+b10110 *
+1"
+#16690
+0"
+#16695
+b10111 *
+1"
+#16700
+0"
+#16705
+b11000 *
+1"
+#16710
+0"
+#16715
+b11001 *
+1"
+#16720
+0"
+#16725
+b11010 *
+1"
+#16730
+0"
+#16735
+b11011 *
+1"
+#16740
+0"
+#16745
+b11100 *
+1"
+#16750
+0"
+#16755
+b11101 *
+1"
+#16760
+0"
+#16765
+b10 +
+b0 *
+1"
+#16770
+0"
+#16775
+b1 *
+1"
+#16780
+0"
+#16785
+b10 *
+1"
+#16790
+0"
+#16795
+b11 *
+1"
+#16800
+0"
+b10010 !
+b10010 %
+b10010 $
+#16805
+b100 *
+1"
+#16810
+0"
+#16815
+b101 *
+1"
+#16820
+0"
+#16825
+b110 *
+1"
+#16830
+0"
+#16835
+b111 *
+1"
+#16840
+0"
+#16845
+b1000 *
+1"
+#16850
+0"
+#16855
+b1001 *
+1"
+#16860
+0"
+#16865
+b1010 *
+1"
+#16870
+0"
+#16875
+b1011 *
+1"
+#16880
+0"
+#16885
+b1100 *
+1"
+#16890
+0"
+#16895
+b1101 *
+1"
+#16900
+0"
+#16905
+b1110 *
+1"
+#16910
+0"
+#16915
+b1111 *
+1"
+#16920
+0"
+#16925
+b10000 *
+1"
+#16930
+0"
+#16935
+b10001 *
+1"
+#16940
+0"
+#16945
+b10010 *
+1"
+#16950
+0"
+#16955
+b10011 *
+1"
+#16960
+0"
+#16965
+b10100 *
+1"
+#16970
+0"
+#16975
+b10101 *
+1"
+#16980
+0"
+#16985
+b10110 *
+1"
+#16990
+0"
+#16995
+b10111 *
+1"
+#17000
+0"
+#17005
+b11000 *
+1"
+#17010
+0"
+#17015
+b11001 *
+1"
+#17020
+0"
+#17025
+b11010 *
+1"
+#17030
+0"
+#17035
+b11011 *
+1"
+#17040
+0"
+#17045
+b11100 *
+1"
+#17050
+0"
+#17055
+b11101 *
+1"
+#17060
+0"
+#17065
+b11 +
+b0 *
+1"
+#17070
+0"
+#17075
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#17080
+0"
+#17085
+b10 *
+1"
+#17090
+0"
+#17095
+b100 +
+b0 *
+1"
+#17100
+0"
+#17105
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#17110
+0"
+#17115
+b10 *
+1"
+#17120
+0"
+#17125
+b11 *
+1"
+#17130
+0"
+#17135
+b100 *
+1"
+#17140
+0"
+#17145
+b101 *
+1"
+#17150
+0"
+#17155
+b110 *
+1"
+#17160
+0"
+#17165
+b111 *
+1"
+#17170
+0"
+#17175
+b1000 *
+1"
+#17180
+0"
+#17185
+b1001 *
+1"
+#17190
+0"
+#17195
+b101 +
+b0 *
+1"
+#17200
+0"
+#17205
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#17210
+0"
+#17215
+b10 *
+1"
+#17220
+0"
+#17225
+b1 +
+b0 *
+1"
+#17230
+0"
+#17235
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#17240
+0"
+#17245
+b10 *
+1"
+#17250
+0"
+#17255
+b11 *
+1"
+#17260
+0"
+#17265
+b100 *
+1"
+#17270
+0"
+#17275
+b101 *
+1"
+#17280
+0"
+#17285
+b110 *
+1"
+#17290
+0"
+#17295
+b111 *
+1"
+#17300
+0"
+#17305
+b1000 *
+1"
+#17310
+0"
+#17315
+b1001 *
+1"
+#17320
+0"
+#17325
+b1010 *
+1"
+#17330
+0"
+#17335
+b1011 *
+1"
+#17340
+0"
+#17345
+b1100 *
+1"
+#17350
+0"
+#17355
+b1101 *
+1"
+#17360
+0"
+#17365
+b1110 *
+1"
+#17370
+0"
+#17375
+b1111 *
+1"
+#17380
+0"
+#17385
+b10000 *
+1"
+#17390
+0"
+#17395
+b10001 *
+1"
+#17400
+0"
+b10011 !
+b10011 %
+b10011 $
+#17405
+b10010 *
+1"
+#17410
+0"
+#17415
+b10011 *
+1"
+#17420
+0"
+#17425
+b10100 *
+1"
+#17430
+0"
+#17435
+b10101 *
+1"
+#17440
+0"
+#17445
+b10110 *
+1"
+#17450
+0"
+#17455
+b10111 *
+1"
+#17460
+0"
+#17465
+b11000 *
+1"
+#17470
+0"
+#17475
+b11001 *
+1"
+#17480
+0"
+#17485
+b11010 *
+1"
+#17490
+0"
+#17495
+b11011 *
+1"
+#17500
+0"
+#17505
+b11100 *
+1"
+#17510
+0"
+#17515
+b11101 *
+1"
+#17520
+0"
+#17525
+b10 +
+b0 *
+1"
+#17530
+0"
+#17535
+b1 *
+1"
+#17540
+0"
+#17545
+b10 *
+1"
+#17550
+0"
+#17555
+b11 *
+1"
+#17560
+0"
+#17565
+b100 *
+1"
+#17570
+0"
+#17575
+b101 *
+1"
+#17580
+0"
+#17585
+b110 *
+1"
+#17590
+0"
+#17595
+b111 *
+1"
+#17600
+0"
+#17605
+b1000 *
+1"
+#17610
+0"
+#17615
+b1001 *
+1"
+#17620
+0"
+#17625
+b1010 *
+1"
+#17630
+0"
+#17635
+b1011 *
+1"
+#17640
+0"
+#17645
+b1100 *
+1"
+#17650
+0"
+#17655
+b1101 *
+1"
+#17660
+0"
+#17665
+b1110 *
+1"
+#17670
+0"
+#17675
+b1111 *
+1"
+#17680
+0"
+#17685
+b10000 *
+1"
+#17690
+0"
+#17695
+b10001 *
+1"
+#17700
+0"
+#17705
+b10010 *
+1"
+#17710
+0"
+#17715
+b10011 *
+1"
+#17720
+0"
+#17725
+b10100 *
+1"
+#17730
+0"
+#17735
+b10101 *
+1"
+#17740
+0"
+#17745
+b10110 *
+1"
+#17750
+0"
+#17755
+b10111 *
+1"
+#17760
+0"
+#17765
+b11000 *
+1"
+#17770
+0"
+#17775
+b11001 *
+1"
+#17780
+0"
+#17785
+b11010 *
+1"
+#17790
+0"
+#17795
+b11011 *
+1"
+#17800
+0"
+#17805
+b11100 *
+1"
+#17810
+0"
+#17815
+b11101 *
+1"
+#17820
+0"
+#17825
+b11 +
+b0 *
+1"
+#17830
+0"
+#17835
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#17840
+0"
+#17845
+b10 *
+1"
+#17850
+0"
+#17855
+b100 +
+b0 *
+1"
+#17860
+0"
+#17865
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#17870
+0"
+#17875
+b10 *
+1"
+#17880
+0"
+#17885
+b11 *
+1"
+#17890
+0"
+#17895
+b100 *
+1"
+#17900
+0"
+#17905
+b101 *
+1"
+#17910
+0"
+#17915
+b110 *
+1"
+#17920
+0"
+#17925
+b111 *
+1"
+#17930
+0"
+#17935
+b1000 *
+1"
+#17940
+0"
+#17945
+b1001 *
+1"
+#17950
+0"
+#17955
+b101 +
+b0 *
+1"
+#17960
+0"
+#17965
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#17970
+0"
+#17975
+b10 *
+1"
+#17980
+0"
+#17985
+b1 +
+b0 *
+1"
+#17990
+0"
+#17995
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#18000
+0"
+b10100 !
+b10100 %
+b10100 $
+#18005
+b10 *
+1"
+#18010
+0"
+#18015
+b11 *
+1"
+#18020
+0"
+#18025
+b100 *
+1"
+#18030
+0"
+#18035
+b101 *
+1"
+#18040
+0"
+#18045
+b110 *
+1"
+#18050
+0"
+#18055
+b111 *
+1"
+#18060
+0"
+#18065
+b1000 *
+1"
+#18070
+0"
+#18075
+b1001 *
+1"
+#18080
+0"
+#18085
+b1010 *
+1"
+#18090
+0"
+#18095
+b1011 *
+1"
+#18100
+0"
+#18105
+b1100 *
+1"
+#18110
+0"
+#18115
+b1101 *
+1"
+#18120
+0"
+#18125
+b1110 *
+1"
+#18130
+0"
+#18135
+b1111 *
+1"
+#18140
+0"
+#18145
+b10000 *
+1"
+#18150
+0"
+#18155
+b10001 *
+1"
+#18160
+0"
+#18165
+b10010 *
+1"
+#18170
+0"
+#18175
+b10011 *
+1"
+#18180
+0"
+#18185
+b10100 *
+1"
+#18190
+0"
+#18195
+b10101 *
+1"
+#18200
+0"
+#18205
+b10110 *
+1"
+#18210
+0"
+#18215
+b10111 *
+1"
+#18220
+0"
+#18225
+b11000 *
+1"
+#18230
+0"
+#18235
+b11001 *
+1"
+#18240
+0"
+#18245
+b11010 *
+1"
+#18250
+0"
+#18255
+b11011 *
+1"
+#18260
+0"
+#18265
+b11100 *
+1"
+#18270
+0"
+#18275
+b11101 *
+1"
+#18280
+0"
+#18285
+b10 +
+b0 *
+1"
+#18290
+0"
+#18295
+b1 *
+1"
+#18300
+0"
+#18305
+b10 *
+1"
+#18310
+0"
+#18315
+b11 *
+1"
+#18320
+0"
+#18325
+b100 *
+1"
+#18330
+0"
+#18335
+b101 *
+1"
+#18340
+0"
+#18345
+b110 *
+1"
+#18350
+0"
+#18355
+b111 *
+1"
+#18360
+0"
+#18365
+b1000 *
+1"
+#18370
+0"
+#18375
+b1001 *
+1"
+#18380
+0"
+#18385
+b1010 *
+1"
+#18390
+0"
+#18395
+b1011 *
+1"
+#18400
+0"
+#18405
+b1100 *
+1"
+#18410
+0"
+#18415
+b1101 *
+1"
+#18420
+0"
+#18425
+b1110 *
+1"
+#18430
+0"
+#18435
+b1111 *
+1"
+#18440
+0"
+#18445
+b10000 *
+1"
+#18450
+0"
+#18455
+b10001 *
+1"
+#18460
+0"
+#18465
+b10010 *
+1"
+#18470
+0"
+#18475
+b10011 *
+1"
+#18480
+0"
+#18485
+b10100 *
+1"
+#18490
+0"
+#18495
+b10101 *
+1"
+#18500
+0"
+#18505
+b10110 *
+1"
+#18510
+0"
+#18515
+b10111 *
+1"
+#18520
+0"
+#18525
+b11000 *
+1"
+#18530
+0"
+#18535
+b11001 *
+1"
+#18540
+0"
+#18545
+b11010 *
+1"
+#18550
+0"
+#18555
+b11011 *
+1"
+#18560
+0"
+#18565
+b11100 *
+1"
+#18570
+0"
+#18575
+b11101 *
+1"
+#18580
+0"
+#18585
+b11 +
+b0 *
+1"
+#18590
+0"
+#18595
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#18600
+0"
+b10101 !
+b10101 %
+b10101 $
+#18605
+b10 *
+1"
+#18610
+0"
+#18615
+b100 +
+b0 *
+1"
+#18620
+0"
+#18625
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#18630
+0"
+#18635
+b10 *
+1"
+#18640
+0"
+#18645
+b11 *
+1"
+#18650
+0"
+#18655
+b100 *
+1"
+#18660
+0"
+#18665
+b101 *
+1"
+#18670
+0"
+#18675
+b110 *
+1"
+#18680
+0"
+#18685
+b111 *
+1"
+#18690
+0"
+#18695
+b1000 *
+1"
+#18700
+0"
+#18705
+b1001 *
+1"
+#18710
+0"
+#18715
+b101 +
+b0 *
+1"
+#18720
+0"
+#18725
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#18730
+0"
+#18735
+b10 *
+1"
+#18740
+0"
+#18745
+b1 +
+b0 *
+1"
+#18750
+0"
+#18755
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#18760
+0"
+#18765
+b10 *
+1"
+#18770
+0"
+#18775
+b11 *
+1"
+#18780
+0"
+#18785
+b100 *
+1"
+#18790
+0"
+#18795
+b101 *
+1"
+#18800
+0"
+#18805
+b110 *
+1"
+#18810
+0"
+#18815
+b111 *
+1"
+#18820
+0"
+#18825
+b1000 *
+1"
+#18830
+0"
+#18835
+b1001 *
+1"
+#18840
+0"
+#18845
+b1010 *
+1"
+#18850
+0"
+#18855
+b1011 *
+1"
+#18860
+0"
+#18865
+b1100 *
+1"
+#18870
+0"
+#18875
+b1101 *
+1"
+#18880
+0"
+#18885
+b1110 *
+1"
+#18890
+0"
+#18895
+b1111 *
+1"
+#18900
+0"
+#18905
+b10000 *
+1"
+#18910
+0"
+#18915
+b10001 *
+1"
+#18920
+0"
+#18925
+b10010 *
+1"
+#18930
+0"
+#18935
+b10011 *
+1"
+#18940
+0"
+#18945
+b10100 *
+1"
+#18950
+0"
+#18955
+b10101 *
+1"
+#18960
+0"
+#18965
+b10110 *
+1"
+#18970
+0"
+#18975
+b10111 *
+1"
+#18980
+0"
+#18985
+b11000 *
+1"
+#18990
+0"
+#18995
+b11001 *
+1"
+#19000
+0"
+#19005
+b11010 *
+1"
+#19010
+0"
+#19015
+b11011 *
+1"
+#19020
+0"
+#19025
+b11100 *
+1"
+#19030
+0"
+#19035
+b11101 *
+1"
+#19040
+0"
+#19045
+b10 +
+b0 *
+1"
+#19050
+0"
+#19055
+b1 *
+1"
+#19060
+0"
+#19065
+b10 *
+1"
+#19070
+0"
+#19075
+b11 *
+1"
+#19080
+0"
+#19085
+b100 *
+1"
+#19090
+0"
+#19095
+b101 *
+1"
+#19100
+0"
+#19105
+b110 *
+1"
+#19110
+0"
+#19115
+b111 *
+1"
+#19120
+0"
+#19125
+b1000 *
+1"
+#19130
+0"
+#19135
+b1001 *
+1"
+#19140
+0"
+#19145
+b1010 *
+1"
+#19150
+0"
+#19155
+b1011 *
+1"
+#19160
+0"
+#19165
+b1100 *
+1"
+#19170
+0"
+#19175
+b1101 *
+1"
+#19180
+0"
+#19185
+b1110 *
+1"
+#19190
+0"
+#19195
+b1111 *
+1"
+#19200
+0"
+b10110 !
+b10110 %
+b10110 $
+#19205
+b10000 *
+1"
+#19210
+0"
+#19215
+b10001 *
+1"
+#19220
+0"
+#19225
+b10010 *
+1"
+#19230
+0"
+#19235
+b10011 *
+1"
+#19240
+0"
+#19245
+b10100 *
+1"
+#19250
+0"
+#19255
+b10101 *
+1"
+#19260
+0"
+#19265
+b10110 *
+1"
+#19270
+0"
+#19275
+b10111 *
+1"
+#19280
+0"
+#19285
+b11000 *
+1"
+#19290
+0"
+#19295
+b11001 *
+1"
+#19300
+0"
+#19305
+b11010 *
+1"
+#19310
+0"
+#19315
+b11011 *
+1"
+#19320
+0"
+#19325
+b11100 *
+1"
+#19330
+0"
+#19335
+b11101 *
+1"
+#19340
+0"
+#19345
+b11 +
+b0 *
+1"
+#19350
+0"
+#19355
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#19360
+0"
+#19365
+b10 *
+1"
+#19370
+0"
+#19375
+b100 +
+b0 *
+1"
+#19380
+0"
+#19385
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#19390
+0"
+#19395
+b10 *
+1"
+#19400
+0"
+#19405
+b11 *
+1"
+#19410
+0"
+#19415
+b100 *
+1"
+#19420
+0"
+#19425
+b101 *
+1"
+#19430
+0"
+#19435
+b110 *
+1"
+#19440
+0"
+#19445
+b111 *
+1"
+#19450
+0"
+#19455
+b1000 *
+1"
+#19460
+0"
+#19465
+b1001 *
+1"
+#19470
+0"
+#19475
+b101 +
+b0 *
+1"
+#19480
+0"
+#19485
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#19490
+0"
+#19495
+b10 *
+1"
+#19500
+0"
+#19505
+b1 +
+b0 *
+1"
+#19510
+0"
+#19515
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#19520
+0"
+#19525
+b10 *
+1"
+#19530
+0"
+#19535
+b11 *
+1"
+#19540
+0"
+#19545
+b100 *
+1"
+#19550
+0"
+#19555
+b101 *
+1"
+#19560
+0"
+#19565
+b110 *
+1"
+#19570
+0"
+#19575
+b111 *
+1"
+#19580
+0"
+#19585
+b1000 *
+1"
+#19590
+0"
+#19595
+b1001 *
+1"
+#19600
+0"
+#19605
+b1010 *
+1"
+#19610
+0"
+#19615
+b1011 *
+1"
+#19620
+0"
+#19625
+b1100 *
+1"
+#19630
+0"
+#19635
+b1101 *
+1"
+#19640
+0"
+#19645
+b1110 *
+1"
+#19650
+0"
+#19655
+b1111 *
+1"
+#19660
+0"
+#19665
+b10000 *
+1"
+#19670
+0"
+#19675
+b10001 *
+1"
+#19680
+0"
+#19685
+b10010 *
+1"
+#19690
+0"
+#19695
+b10011 *
+1"
+#19700
+0"
+#19705
+b10100 *
+1"
+#19710
+0"
+#19715
+b10101 *
+1"
+#19720
+0"
+#19725
+b10110 *
+1"
+#19730
+0"
+#19735
+b10111 *
+1"
+#19740
+0"
+#19745
+b11000 *
+1"
+#19750
+0"
+#19755
+b11001 *
+1"
+#19760
+0"
+#19765
+b11010 *
+1"
+#19770
+0"
+#19775
+b11011 *
+1"
+#19780
+0"
+#19785
+b11100 *
+1"
+#19790
+0"
+#19795
+b11101 *
+1"
+#19800
+0"
+b10111 !
+b10111 %
+b10111 $
+#19805
+b10 +
+b0 *
+1"
+#19810
+0"
+#19815
+b1 *
+1"
+#19820
+0"
+#19825
+b10 *
+1"
+#19830
+0"
+#19835
+b11 *
+1"
+#19840
+0"
+#19845
+b100 *
+1"
+#19850
+0"
+#19855
+b101 *
+1"
+#19860
+0"
+#19865
+b110 *
+1"
+#19870
+0"
+#19875
+b111 *
+1"
+#19880
+0"
+#19885
+b1000 *
+1"
+#19890
+0"
+#19895
+b1001 *
+1"
+#19900
+0"
+#19905
+b1010 *
+1"
+#19910
+0"
+#19915
+b1011 *
+1"
+#19920
+0"
+#19925
+b1100 *
+1"
+#19930
+0"
+#19935
+b1101 *
+1"
+#19940
+0"
+#19945
+b1110 *
+1"
+#19950
+0"
+#19955
+b1111 *
+1"
+#19960
+0"
+#19965
+b10000 *
+1"
+#19970
+0"
+#19975
+b10001 *
+1"
+#19980
+0"
+#19985
+b10010 *
+1"
+#19990
+0"
+#19995
+b10011 *
+1"
+#20000
+0"
+#20005
+b10100 *
+1"
+#20010
+0"
+#20015
+b10101 *
+1"
+#20020
+0"
+#20025
+b10110 *
+1"
+#20030
+0"
+#20035
+b10111 *
+1"
+#20040
+0"
+#20045
+b11000 *
+1"
+#20050
+0"
+#20055
+b11001 *
+1"
+#20060
+0"
+#20065
+b11010 *
+1"
+#20070
+0"
+#20075
+b11011 *
+1"
+#20080
+0"
+#20085
+b11100 *
+1"
+#20090
+0"
+#20095
+b11101 *
+1"
+#20100
+0"
+#20105
+b11 +
+b0 *
+1"
+#20110
+0"
+#20115
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#20120
+0"
+#20125
+b10 *
+1"
+#20130
+0"
+#20135
+b100 +
+b0 *
+1"
+#20140
+0"
+#20145
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#20150
+0"
+#20155
+b10 *
+1"
+#20160
+0"
+#20165
+b11 *
+1"
+#20170
+0"
+#20175
+b100 *
+1"
+#20180
+0"
+#20185
+b101 *
+1"
+#20190
+0"
+#20195
+b110 *
+1"
+#20200
+0"
+#20205
+b111 *
+1"
+#20210
+0"
+#20215
+b1000 *
+1"
+#20220
+0"
+#20225
+b1001 *
+1"
+#20230
+0"
+#20235
+b101 +
+b0 *
+1"
+#20240
+0"
+#20245
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#20250
+0"
+#20255
+b10 *
+1"
+#20260
+0"
+#20265
+b1 +
+b0 *
+1"
+#20270
+0"
+#20275
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#20280
+0"
+#20285
+b10 *
+1"
+#20290
+0"
+#20295
+b11 *
+1"
+#20300
+0"
+#20305
+b100 *
+1"
+#20310
+0"
+#20315
+b101 *
+1"
+#20320
+0"
+#20325
+b110 *
+1"
+#20330
+0"
+#20335
+b111 *
+1"
+#20340
+0"
+#20345
+b1000 *
+1"
+#20350
+0"
+#20355
+b1001 *
+1"
+#20360
+0"
+#20365
+b1010 *
+1"
+#20370
+0"
+#20375
+b1011 *
+1"
+#20380
+0"
+#20385
+b1100 *
+1"
+#20390
+0"
+#20395
+b1101 *
+1"
+#20400
+0"
+b11000 !
+b11000 %
+b11000 $
+#20405
+b1110 *
+1"
+#20410
+0"
+#20415
+b1111 *
+1"
+#20420
+0"
+#20425
+b10000 *
+1"
+#20430
+0"
+#20435
+b10001 *
+1"
+#20440
+0"
+#20445
+b10010 *
+1"
+#20450
+0"
+#20455
+b10011 *
+1"
+#20460
+0"
+#20465
+b10100 *
+1"
+#20470
+0"
+#20475
+b10101 *
+1"
+#20480
+0"
+#20485
+b10110 *
+1"
+#20490
+0"
+#20495
+b10111 *
+1"
+#20500
+0"
+#20505
+b11000 *
+1"
+#20510
+0"
+#20515
+b11001 *
+1"
+#20520
+0"
+#20525
+b11010 *
+1"
+#20530
+0"
+#20535
+b11011 *
+1"
+#20540
+0"
+#20545
+b11100 *
+1"
+#20550
+0"
+#20555
+b11101 *
+1"
+#20560
+0"
+#20565
+b10 +
+b0 *
+1"
+#20570
+0"
+#20575
+b1 *
+1"
+#20580
+0"
+#20585
+b10 *
+1"
+#20590
+0"
+#20595
+b11 *
+1"
+#20600
+0"
+#20605
+b100 *
+1"
+#20610
+0"
+#20615
+b101 *
+1"
+#20620
+0"
+#20625
+b110 *
+1"
+#20630
+0"
+#20635
+b111 *
+1"
+#20640
+0"
+#20645
+b1000 *
+1"
+#20650
+0"
+#20655
+b1001 *
+1"
+#20660
+0"
+#20665
+b1010 *
+1"
+#20670
+0"
+#20675
+b1011 *
+1"
+#20680
+0"
+#20685
+b1100 *
+1"
+#20690
+0"
+#20695
+b1101 *
+1"
+#20700
+0"
+#20705
+b1110 *
+1"
+#20710
+0"
+#20715
+b1111 *
+1"
+#20720
+0"
+#20725
+b10000 *
+1"
+#20730
+0"
+#20735
+b10001 *
+1"
+#20740
+0"
+#20745
+b10010 *
+1"
+#20750
+0"
+#20755
+b10011 *
+1"
+#20760
+0"
+#20765
+b10100 *
+1"
+#20770
+0"
+#20775
+b10101 *
+1"
+#20780
+0"
+#20785
+b10110 *
+1"
+#20790
+0"
+#20795
+b10111 *
+1"
+#20800
+0"
+#20805
+b11000 *
+1"
+#20810
+0"
+#20815
+b11001 *
+1"
+#20820
+0"
+#20825
+b11010 *
+1"
+#20830
+0"
+#20835
+b11011 *
+1"
+#20840
+0"
+#20845
+b11100 *
+1"
+#20850
+0"
+#20855
+b11101 *
+1"
+#20860
+0"
+#20865
+b11 +
+b0 *
+1"
+#20870
+0"
+#20875
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#20880
+0"
+#20885
+b10 *
+1"
+#20890
+0"
+#20895
+b100 +
+b0 *
+1"
+#20900
+0"
+#20905
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#20910
+0"
+#20915
+b10 *
+1"
+#20920
+0"
+#20925
+b11 *
+1"
+#20930
+0"
+#20935
+b100 *
+1"
+#20940
+0"
+#20945
+b101 *
+1"
+#20950
+0"
+#20955
+b110 *
+1"
+#20960
+0"
+#20965
+b111 *
+1"
+#20970
+0"
+#20975
+b1000 *
+1"
+#20980
+0"
+#20985
+b1001 *
+1"
+#20990
+0"
+#20995
+b101 +
+b0 *
+1"
+#21000
+0"
+b11001 !
+b11001 %
+b11001 $
+#21005
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#21010
+0"
+#21015
+b10 *
+1"
+#21020
+0"
+#21025
+b1 +
+b0 *
+1"
+#21030
+0"
+#21035
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#21040
+0"
+#21045
+b10 *
+1"
+#21050
+0"
+#21055
+b11 *
+1"
+#21060
+0"
+#21065
+b100 *
+1"
+#21070
+0"
+#21075
+b101 *
+1"
+#21080
+0"
+#21085
+b110 *
+1"
+#21090
+0"
+#21095
+b111 *
+1"
+#21100
+0"
+#21105
+b1000 *
+1"
+#21110
+0"
+#21115
+b1001 *
+1"
+#21120
+0"
+#21125
+b1010 *
+1"
+#21130
+0"
+#21135
+b1011 *
+1"
+#21140
+0"
+#21145
+b1100 *
+1"
+#21150
+0"
+#21155
+b1101 *
+1"
+#21160
+0"
+#21165
+b1110 *
+1"
+#21170
+0"
+#21175
+b1111 *
+1"
+#21180
+0"
+#21185
+b10000 *
+1"
+#21190
+0"
+#21195
+b10001 *
+1"
+#21200
+0"
+#21205
+b10010 *
+1"
+#21210
+0"
+#21215
+b10011 *
+1"
+#21220
+0"
+#21225
+b10100 *
+1"
+#21230
+0"
+#21235
+b10101 *
+1"
+#21240
+0"
+#21245
+b10110 *
+1"
+#21250
+0"
+#21255
+b10111 *
+1"
+#21260
+0"
+#21265
+b11000 *
+1"
+#21270
+0"
+#21275
+b11001 *
+1"
+#21280
+0"
+#21285
+b11010 *
+1"
+#21290
+0"
+#21295
+b11011 *
+1"
+#21300
+0"
+#21305
+b11100 *
+1"
+#21310
+0"
+#21315
+b11101 *
+1"
+#21320
+0"
+#21325
+b10 +
+b0 *
+1"
+#21330
+0"
+#21335
+b1 *
+1"
+#21340
+0"
+#21345
+b10 *
+1"
+#21350
+0"
+#21355
+b11 *
+1"
+#21360
+0"
+#21365
+b100 *
+1"
+#21370
+0"
+#21375
+b101 *
+1"
+#21380
+0"
+#21385
+b110 *
+1"
+#21390
+0"
+#21395
+b111 *
+1"
+#21400
+0"
+#21405
+b1000 *
+1"
+#21410
+0"
+#21415
+b1001 *
+1"
+#21420
+0"
+#21425
+b1010 *
+1"
+#21430
+0"
+#21435
+b1011 *
+1"
+#21440
+0"
+#21445
+b1100 *
+1"
+#21450
+0"
+#21455
+b1101 *
+1"
+#21460
+0"
+#21465
+b1110 *
+1"
+#21470
+0"
+#21475
+b1111 *
+1"
+#21480
+0"
+#21485
+b10000 *
+1"
+#21490
+0"
+#21495
+b10001 *
+1"
+#21500
+0"
+#21505
+b10010 *
+1"
+#21510
+0"
+#21515
+b10011 *
+1"
+#21520
+0"
+#21525
+b10100 *
+1"
+#21530
+0"
+#21535
+b10101 *
+1"
+#21540
+0"
+#21545
+b10110 *
+1"
+#21550
+0"
+#21555
+b10111 *
+1"
+#21560
+0"
+#21565
+b11000 *
+1"
+#21570
+0"
+#21575
+b11001 *
+1"
+#21580
+0"
+#21585
+b11010 *
+1"
+#21590
+0"
+#21595
+b11011 *
+1"
+#21600
+0"
+b11010 !
+b11010 %
+b11010 $
+#21605
+b11100 *
+1"
+#21610
+0"
+#21615
+b11101 *
+1"
+#21620
+0"
+#21625
+b11 +
+b0 *
+1"
+#21630
+0"
+#21635
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#21640
+0"
+#21645
+b10 *
+1"
+#21650
+0"
+#21655
+b100 +
+b0 *
+1"
+#21660
+0"
+#21665
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#21670
+0"
+#21675
+b10 *
+1"
+#21680
+0"
+#21685
+b11 *
+1"
+#21690
+0"
+#21695
+b100 *
+1"
+#21700
+0"
+#21705
+b101 *
+1"
+#21710
+0"
+#21715
+b110 *
+1"
+#21720
+0"
+#21725
+b111 *
+1"
+#21730
+0"
+#21735
+b1000 *
+1"
+#21740
+0"
+#21745
+b1001 *
+1"
+#21750
+0"
+#21755
+b101 +
+b0 *
+1"
+#21760
+0"
+#21765
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#21770
+0"
+#21775
+b10 *
+1"
+#21780
+0"
+#21785
+b1 +
+b0 *
+1"
+#21790
+0"
+#21795
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#21800
+0"
+#21805
+b10 *
+1"
+#21810
+0"
+#21815
+b11 *
+1"
+#21820
+0"
+#21825
+b100 *
+1"
+#21830
+0"
+#21835
+b101 *
+1"
+#21840
+0"
+#21845
+b110 *
+1"
+#21850
+0"
+#21855
+b111 *
+1"
+#21860
+0"
+#21865
+b1000 *
+1"
+#21870
+0"
+#21875
+b1001 *
+1"
+#21880
+0"
+#21885
+b1010 *
+1"
+#21890
+0"
+#21895
+b1011 *
+1"
+#21900
+0"
+#21905
+b1100 *
+1"
+#21910
+0"
+#21915
+b1101 *
+1"
+#21920
+0"
+#21925
+b1110 *
+1"
+#21930
+0"
+#21935
+b1111 *
+1"
+#21940
+0"
+#21945
+b10000 *
+1"
+#21950
+0"
+#21955
+b10001 *
+1"
+#21960
+0"
+#21965
+b10010 *
+1"
+#21970
+0"
+#21975
+b10011 *
+1"
+#21980
+0"
+#21985
+b10100 *
+1"
+#21990
+0"
+#21995
+b10101 *
+1"
+#22000
+0"
+#22005
+b10110 *
+1"
+#22010
+0"
+#22015
+b10111 *
+1"
+#22020
+0"
+#22025
+b11000 *
+1"
+#22030
+0"
+#22035
+b11001 *
+1"
+#22040
+0"
+#22045
+b11010 *
+1"
+#22050
+0"
+#22055
+b11011 *
+1"
+#22060
+0"
+#22065
+b11100 *
+1"
+#22070
+0"
+#22075
+b11101 *
+1"
+#22080
+0"
+#22085
+b10 +
+b0 *
+1"
+#22090
+0"
+#22095
+b1 *
+1"
+#22100
+0"
+#22105
+b10 *
+1"
+#22110
+0"
+#22115
+b11 *
+1"
+#22120
+0"
+#22125
+b100 *
+1"
+#22130
+0"
+#22135
+b101 *
+1"
+#22140
+0"
+#22145
+b110 *
+1"
+#22150
+0"
+#22155
+b111 *
+1"
+#22160
+0"
+#22165
+b1000 *
+1"
+#22170
+0"
+#22175
+b1001 *
+1"
+#22180
+0"
+#22185
+b1010 *
+1"
+#22190
+0"
+#22195
+b1011 *
+1"
+#22200
+0"
+b11011 !
+b11011 %
+b11011 $
+#22205
+b1100 *
+1"
+#22210
+0"
+#22215
+b1101 *
+1"
+#22220
+0"
+#22225
+b1110 *
+1"
+#22230
+0"
+#22235
+b1111 *
+1"
+#22240
+0"
+#22245
+b10000 *
+1"
+#22250
+0"
+#22255
+b10001 *
+1"
+#22260
+0"
+#22265
+b10010 *
+1"
+#22270
+0"
+#22275
+b10011 *
+1"
+#22280
+0"
+#22285
+b10100 *
+1"
+#22290
+0"
+#22295
+b10101 *
+1"
+#22300
+0"
+#22305
+b10110 *
+1"
+#22310
+0"
+#22315
+b10111 *
+1"
+#22320
+0"
+#22325
+b11000 *
+1"
+#22330
+0"
+#22335
+b11001 *
+1"
+#22340
+0"
+#22345
+b11010 *
+1"
+#22350
+0"
+#22355
+b11011 *
+1"
+#22360
+0"
+#22365
+b11100 *
+1"
+#22370
+0"
+#22375
+b11101 *
+1"
+#22380
+0"
+#22385
+b11 +
+b0 *
+1"
+#22390
+0"
+#22395
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#22400
+0"
+#22405
+b10 *
+1"
+#22410
+0"
+#22415
+b100 +
+b0 *
+1"
+#22420
+0"
+#22425
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#22430
+0"
+#22435
+b10 *
+1"
+#22440
+0"
+#22445
+b11 *
+1"
+#22450
+0"
+#22455
+b100 *
+1"
+#22460
+0"
+#22465
+b101 *
+1"
+#22470
+0"
+#22475
+b110 *
+1"
+#22480
+0"
+#22485
+b111 *
+1"
+#22490
+0"
+#22495
+b1000 *
+1"
+#22500
+0"
+#22505
+b1001 *
+1"
+#22510
+0"
+#22515
+b101 +
+b0 *
+1"
+#22520
+0"
+#22525
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#22530
+0"
+#22535
+b10 *
+1"
+#22540
+0"
+#22545
+b1 +
+b0 *
+1"
+#22550
+0"
+#22555
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#22560
+0"
+#22565
+b10 *
+1"
+#22570
+0"
+#22575
+b11 *
+1"
+#22580
+0"
+#22585
+b100 *
+1"
+#22590
+0"
+#22595
+b101 *
+1"
+#22600
+0"
+#22605
+b110 *
+1"
+#22610
+0"
+#22615
+b111 *
+1"
+#22620
+0"
+#22625
+b1000 *
+1"
+#22630
+0"
+#22635
+b1001 *
+1"
+#22640
+0"
+#22645
+b1010 *
+1"
+#22650
+0"
+#22655
+b1011 *
+1"
+#22660
+0"
+#22665
+b1100 *
+1"
+#22670
+0"
+#22675
+b1101 *
+1"
+#22680
+0"
+#22685
+b1110 *
+1"
+#22690
+0"
+#22695
+b1111 *
+1"
+#22700
+0"
+#22705
+b10000 *
+1"
+#22710
+0"
+#22715
+b10001 *
+1"
+#22720
+0"
+#22725
+b10010 *
+1"
+#22730
+0"
+#22735
+b10011 *
+1"
+#22740
+0"
+#22745
+b10100 *
+1"
+#22750
+0"
+#22755
+b10101 *
+1"
+#22760
+0"
+#22765
+b10110 *
+1"
+#22770
+0"
+#22775
+b10111 *
+1"
+#22780
+0"
+#22785
+b11000 *
+1"
+#22790
+0"
+#22795
+b11001 *
+1"
+#22800
+0"
+b11100 !
+b11100 %
+b11100 $
+#22805
+b11010 *
+1"
+#22810
+0"
+#22815
+b11011 *
+1"
+#22820
+0"
+#22825
+b11100 *
+1"
+#22830
+0"
+#22835
+b11101 *
+1"
+#22840
+0"
+#22845
+b10 +
+b0 *
+1"
+#22850
+0"
+#22855
+b1 *
+1"
+#22860
+0"
+#22865
+b10 *
+1"
+#22870
+0"
+#22875
+b11 *
+1"
+#22880
+0"
+#22885
+b100 *
+1"
+#22890
+0"
+#22895
+b101 *
+1"
+#22900
+0"
+#22905
+b110 *
+1"
+#22910
+0"
+#22915
+b111 *
+1"
+#22920
+0"
+#22925
+b1000 *
+1"
+#22930
+0"
+#22935
+b1001 *
+1"
+#22940
+0"
+#22945
+b1010 *
+1"
+#22950
+0"
+#22955
+b1011 *
+1"
+#22960
+0"
+#22965
+b1100 *
+1"
+#22970
+0"
+#22975
+b1101 *
+1"
+#22980
+0"
+#22985
+b1110 *
+1"
+#22990
+0"
+#22995
+b1111 *
+1"
+#23000
+0"
+#23005
+b10000 *
+1"
+#23010
+0"
+#23015
+b10001 *
+1"
+#23020
+0"
+#23025
+b10010 *
+1"
+#23030
+0"
+#23035
+b10011 *
+1"
+#23040
+0"
+#23045
+b10100 *
+1"
+#23050
+0"
+#23055
+b10101 *
+1"
+#23060
+0"
+#23065
+b10110 *
+1"
+#23070
+0"
+#23075
+b10111 *
+1"
+#23080
+0"
+#23085
+b11000 *
+1"
+#23090
+0"
+#23095
+b11001 *
+1"
+#23100
+0"
+#23105
+b11010 *
+1"
+#23110
+0"
+#23115
+b11011 *
+1"
+#23120
+0"
+#23125
+b11100 *
+1"
+#23130
+0"
+#23135
+b11101 *
+1"
+#23140
+0"
+#23145
+b11 +
+b0 *
+1"
+#23150
+0"
+#23155
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#23160
+0"
+#23165
+b10 *
+1"
+#23170
+0"
+#23175
+b100 +
+b0 *
+1"
+#23180
+0"
+#23185
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#23190
+0"
+#23195
+b10 *
+1"
+#23200
+0"
+#23205
+b11 *
+1"
+#23210
+0"
+#23215
+b100 *
+1"
+#23220
+0"
+#23225
+b101 *
+1"
+#23230
+0"
+#23235
+b110 *
+1"
+#23240
+0"
+#23245
+b111 *
+1"
+#23250
+0"
+#23255
+b1000 *
+1"
+#23260
+0"
+#23265
+b1001 *
+1"
+#23270
+0"
+#23275
+b101 +
+b0 *
+1"
+#23280
+0"
+#23285
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#23290
+0"
+#23295
+b10 *
+1"
+#23300
+0"
+#23305
+b1 +
+b0 *
+1"
+#23310
+0"
+#23315
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#23320
+0"
+#23325
+b10 *
+1"
+#23330
+0"
+#23335
+b11 *
+1"
+#23340
+0"
+#23345
+b100 *
+1"
+#23350
+0"
+#23355
+b101 *
+1"
+#23360
+0"
+#23365
+b110 *
+1"
+#23370
+0"
+#23375
+b111 *
+1"
+#23380
+0"
+#23385
+b1000 *
+1"
+#23390
+0"
+#23395
+b1001 *
+1"
+#23400
+0"
+b11101 !
+b11101 %
+b11101 $
+#23405
+b1010 *
+1"
+#23410
+0"
+#23415
+b1011 *
+1"
+#23420
+0"
+#23425
+b1100 *
+1"
+#23430
+0"
+#23435
+b1101 *
+1"
+#23440
+0"
+#23445
+b1110 *
+1"
+#23450
+0"
+#23455
+b1111 *
+1"
+#23460
+0"
+#23465
+b10000 *
+1"
+#23470
+0"
+#23475
+b10001 *
+1"
+#23480
+0"
+#23485
+b10010 *
+1"
+#23490
+0"
+#23495
+b10011 *
+1"
+#23500
+0"
+#23505
+b10100 *
+1"
+#23510
+0"
+#23515
+b10101 *
+1"
+#23520
+0"
+#23525
+b10110 *
+1"
+#23530
+0"
+#23535
+b10111 *
+1"
+#23540
+0"
+#23545
+b11000 *
+1"
+#23550
+0"
+#23555
+b11001 *
+1"
+#23560
+0"
+#23565
+b11010 *
+1"
+#23570
+0"
+#23575
+b11011 *
+1"
+#23580
+0"
+#23585
+b11100 *
+1"
+#23590
+0"
+#23595
+b11101 *
+1"
+#23600
+0"
+#23605
+b10 +
+b0 *
+1"
+#23610
+0"
+#23615
+b1 *
+1"
+#23620
+0"
+#23625
+b10 *
+1"
+#23630
+0"
+#23635
+b11 *
+1"
+#23640
+0"
+#23645
+b100 *
+1"
+#23650
+0"
+#23655
+b101 *
+1"
+#23660
+0"
+#23665
+b110 *
+1"
+#23670
+0"
+#23675
+b111 *
+1"
+#23680
+0"
+#23685
+b1000 *
+1"
+#23690
+0"
+#23695
+b1001 *
+1"
+#23700
+0"
+#23705
+b1010 *
+1"
+#23710
+0"
+#23715
+b1011 *
+1"
+#23720
+0"
+#23725
+b1100 *
+1"
+#23730
+0"
+#23735
+b1101 *
+1"
+#23740
+0"
+#23745
+b1110 *
+1"
+#23750
+0"
+#23755
+b1111 *
+1"
+#23760
+0"
+#23765
+b10000 *
+1"
+#23770
+0"
+#23775
+b10001 *
+1"
+#23780
+0"
+#23785
+b10010 *
+1"
+#23790
+0"
+#23795
+b10011 *
+1"
+#23800
+0"
+#23805
+b10100 *
+1"
+#23810
+0"
+#23815
+b10101 *
+1"
+#23820
+0"
+#23825
+b10110 *
+1"
+#23830
+0"
+#23835
+b10111 *
+1"
+#23840
+0"
+#23845
+b11000 *
+1"
+#23850
+0"
+#23855
+b11001 *
+1"
+#23860
+0"
+#23865
+b11010 *
+1"
+#23870
+0"
+#23875
+b11011 *
+1"
+#23880
+0"
+#23885
+b11100 *
+1"
+#23890
+0"
+#23895
+b11101 *
+1"
+#23900
+0"
+#23905
+b11 +
+b0 *
+1"
+#23910
+0"
+#23915
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#23920
+0"
+#23925
+b10 *
+1"
+#23930
+0"
+#23935
+b100 +
+b0 *
+1"
+#23940
+0"
+#23945
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#23950
+0"
+#23955
+b10 *
+1"
+#23960
+0"
+#23965
+b11 *
+1"
+#23970
+0"
+#23975
+b100 *
+1"
+#23980
+0"
+#23985
+b101 *
+1"
+#23990
+0"
+#23995
+b110 *
+1"
+#24000
+0"
+b11110 !
+b11110 %
+b11110 $
+#24005
+b111 *
+1"
+#24010
+0"
+#24015
+b1000 *
+1"
+#24020
+0"
+#24025
+b1001 *
+1"
+#24030
+0"
+#24035
+b101 +
+b0 *
+1"
+#24040
+0"
+#24045
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#24050
+0"
+#24055
+b10 *
+1"
+#24060
+0"
+#24065
+b1 +
+b0 *
+1"
+#24070
+0"
+#24075
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#24080
+0"
+#24085
+b10 *
+1"
+#24090
+0"
+#24095
+b11 *
+1"
+#24100
+0"
+#24105
+b100 *
+1"
+#24110
+0"
+#24115
+b101 *
+1"
+#24120
+0"
+#24125
+b110 *
+1"
+#24130
+0"
+#24135
+b111 *
+1"
+#24140
+0"
+#24145
+b1000 *
+1"
+#24150
+0"
+#24155
+b1001 *
+1"
+#24160
+0"
+#24165
+b1010 *
+1"
+#24170
+0"
+#24175
+b1011 *
+1"
+#24180
+0"
+#24185
+b1100 *
+1"
+#24190
+0"
+#24195
+b1101 *
+1"
+#24200
+0"
+#24205
+b1110 *
+1"
+#24210
+0"
+#24215
+b1111 *
+1"
+#24220
+0"
+#24225
+b10000 *
+1"
+#24230
+0"
+#24235
+b10001 *
+1"
+#24240
+0"
+#24245
+b10010 *
+1"
+#24250
+0"
+#24255
+b10011 *
+1"
+#24260
+0"
+#24265
+b10100 *
+1"
+#24270
+0"
+#24275
+b10101 *
+1"
+#24280
+0"
+#24285
+b10110 *
+1"
+#24290
+0"
+#24295
+b10111 *
+1"
+#24300
+0"
+#24305
+b11000 *
+1"
+#24310
+0"
+#24315
+b11001 *
+1"
+#24320
+0"
+#24325
+b11010 *
+1"
+#24330
+0"
+#24335
+b11011 *
+1"
+#24340
+0"
+#24345
+b11100 *
+1"
+#24350
+0"
+#24355
+b11101 *
+1"
+#24360
+0"
+#24365
+b10 +
+b0 *
+1"
+#24370
+0"
+#24375
+b1 *
+1"
+#24380
+0"
+#24385
+b10 *
+1"
+#24390
+0"
+#24395
+b11 *
+1"
+#24400
+0"
+#24405
+b100 *
+1"
+#24410
+0"
+#24415
+b101 *
+1"
+#24420
+0"
+#24425
+b110 *
+1"
+#24430
+0"
+#24435
+b111 *
+1"
+#24440
+0"
+#24445
+b1000 *
+1"
+#24450
+0"
+#24455
+b1001 *
+1"
+#24460
+0"
+#24465
+b1010 *
+1"
+#24470
+0"
+#24475
+b1011 *
+1"
+#24480
+0"
+#24485
+b1100 *
+1"
+#24490
+0"
+#24495
+b1101 *
+1"
+#24500
+0"
+#24505
+b1110 *
+1"
+#24510
+0"
+#24515
+b1111 *
+1"
+#24520
+0"
+#24525
+b10000 *
+1"
+#24530
+0"
+#24535
+b10001 *
+1"
+#24540
+0"
+#24545
+b10010 *
+1"
+#24550
+0"
+#24555
+b10011 *
+1"
+#24560
+0"
+#24565
+b10100 *
+1"
+#24570
+0"
+#24575
+b10101 *
+1"
+#24580
+0"
+#24585
+b10110 *
+1"
+#24590
+0"
+#24595
+b10111 *
+1"
+#24600
+0"
+b11111 !
+b11111 %
+b11111 $
+#24605
+b11000 *
+1"
+#24610
+0"
+#24615
+b11001 *
+1"
+#24620
+0"
+#24625
+b11010 *
+1"
+#24630
+0"
+#24635
+b11011 *
+1"
+#24640
+0"
+#24645
+b11100 *
+1"
+#24650
+0"
+#24655
+b11101 *
+1"
+#24660
+0"
+#24665
+b11 +
+b0 *
+1"
+#24670
+0"
+#24675
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#24680
+0"
+#24685
+b10 *
+1"
+#24690
+0"
+#24695
+b100 +
+b0 *
+1"
+#24700
+0"
+#24705
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#24710
+0"
+#24715
+b10 *
+1"
+#24720
+0"
+#24725
+b11 *
+1"
+#24730
+0"
+#24735
+b100 *
+1"
+#24740
+0"
+#24745
+b101 *
+1"
+#24750
+0"
+#24755
+b110 *
+1"
+#24760
+0"
+#24765
+b111 *
+1"
+#24770
+0"
+#24775
+b1000 *
+1"
+#24780
+0"
+#24785
+b1001 *
+1"
+#24790
+0"
+#24795
+b101 +
+b0 *
+1"
+#24800
+0"
+#24805
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#24810
+0"
+#24815
+b10 *
+1"
+#24820
+0"
+#24825
+b1 +
+b0 *
+1"
+#24830
+0"
+#24835
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#24840
+0"
+#24845
+b10 *
+1"
+#24850
+0"
+#24855
+b11 *
+1"
+#24860
+0"
+#24865
+b100 *
+1"
+#24870
+0"
+#24875
+b101 *
+1"
+#24880
+0"
+#24885
+b110 *
+1"
+#24890
+0"
+#24895
+b111 *
+1"
+#24900
+0"
+#24905
+b1000 *
+1"
+#24910
+0"
+#24915
+b1001 *
+1"
+#24920
+0"
+#24925
+b1010 *
+1"
+#24930
+0"
+#24935
+b1011 *
+1"
+#24940
+0"
+#24945
+b1100 *
+1"
+#24950
+0"
+#24955
+b1101 *
+1"
+#24960
+0"
+#24965
+b1110 *
+1"
+#24970
+0"
+#24975
+b1111 *
+1"
+#24980
+0"
+#24985
+b10000 *
+1"
+#24990
+0"
+#24995
+b10001 *
+1"
+#25000
+0"
+#25005
+b10010 *
+1"
+#25010
+0"
+#25015
+b10011 *
+1"
+#25020
+0"
+#25025
+b10100 *
+1"
+#25030
+0"
+#25035
+b10101 *
+1"
+#25040
+0"
+#25045
+b10110 *
+1"
+#25050
+0"
+#25055
+b10111 *
+1"
+#25060
+0"
+#25065
+b11000 *
+1"
+#25070
+0"
+#25075
+b11001 *
+1"
+#25080
+0"
+#25085
+b11010 *
+1"
+#25090
+0"
+#25095
+b11011 *
+1"
+#25100
+0"
+#25105
+b11100 *
+1"
+#25110
+0"
+#25115
+b11101 *
+1"
+#25120
+0"
+#25125
+b10 +
+b0 *
+1"
+#25130
+0"
+#25135
+b1 *
+1"
+#25140
+0"
+#25145
+b10 *
+1"
+#25150
+0"
+#25155
+b11 *
+1"
+#25160
+0"
+#25165
+b100 *
+1"
+#25170
+0"
+#25175
+b101 *
+1"
+#25180
+0"
+#25185
+b110 *
+1"
+#25190
+0"
+#25195
+b111 *
+1"
+#25200
+0"
+b100000 !
+b100000 %
+b100000 $
+#25205
+b1000 *
+1"
+#25210
+0"
+#25215
+b1001 *
+1"
+#25220
+0"
+#25225
+b1010 *
+1"
+#25230
+0"
+#25235
+b1011 *
+1"
+#25240
+0"
+#25245
+b1100 *
+1"
+#25250
+0"
+#25255
+b1101 *
+1"
+#25260
+0"
+#25265
+b1110 *
+1"
+#25270
+0"
+#25275
+b1111 *
+1"
+#25280
+0"
+#25285
+b10000 *
+1"
+#25290
+0"
+#25295
+b10001 *
+1"
+#25300
+0"
+#25305
+b10010 *
+1"
+#25310
+0"
+#25315
+b10011 *
+1"
+#25320
+0"
+#25325
+b10100 *
+1"
+#25330
+0"
+#25335
+b10101 *
+1"
+#25340
+0"
+#25345
+b10110 *
+1"
+#25350
+0"
+#25355
+b10111 *
+1"
+#25360
+0"
+#25365
+b11000 *
+1"
+#25370
+0"
+#25375
+b11001 *
+1"
+#25380
+0"
+#25385
+b11010 *
+1"
+#25390
+0"
+#25395
+b11011 *
+1"
+#25400
+0"
+#25405
+b11100 *
+1"
+#25410
+0"
+#25415
+b11101 *
+1"
+#25420
+0"
+#25425
+b11 +
+b0 *
+1"
+#25430
+0"
+#25435
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#25440
+0"
+#25445
+b10 *
+1"
+#25450
+0"
+#25455
+b100 +
+b0 *
+1"
+#25460
+0"
+#25465
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#25470
+0"
+#25475
+b10 *
+1"
+#25480
+0"
+#25485
+b11 *
+1"
+#25490
+0"
+#25495
+b100 *
+1"
+#25500
+0"
+#25505
+b101 *
+1"
+#25510
+0"
+#25515
+b110 *
+1"
+#25520
+0"
+#25525
+b111 *
+1"
+#25530
+0"
+#25535
+b1000 *
+1"
+#25540
+0"
+#25545
+b1001 *
+1"
+#25550
+0"
+#25555
+b101 +
+b0 *
+1"
+#25560
+0"
+#25565
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#25570
+0"
+#25575
+b10 *
+1"
+#25580
+0"
+#25585
+b1 +
+b0 *
+1"
+#25590
+0"
+#25595
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#25600
+0"
+#25605
+b10 *
+1"
+#25610
+0"
+#25615
+b11 *
+1"
+#25620
+0"
+#25625
+b100 *
+1"
+#25630
+0"
+#25635
+b101 *
+1"
+#25640
+0"
+#25645
+b110 *
+1"
+#25650
+0"
+#25655
+b111 *
+1"
+#25660
+0"
+#25665
+b1000 *
+1"
+#25670
+0"
+#25675
+b1001 *
+1"
+#25680
+0"
+#25685
+b1010 *
+1"
+#25690
+0"
+#25695
+b1011 *
+1"
+#25700
+0"
+#25705
+b1100 *
+1"
+#25710
+0"
+#25715
+b1101 *
+1"
+#25720
+0"
+#25725
+b1110 *
+1"
+#25730
+0"
+#25735
+b1111 *
+1"
+#25740
+0"
+#25745
+b10000 *
+1"
+#25750
+0"
+#25755
+b10001 *
+1"
+#25760
+0"
+#25765
+b10010 *
+1"
+#25770
+0"
+#25775
+b10011 *
+1"
+#25780
+0"
+#25785
+b10100 *
+1"
+#25790
+0"
+#25795
+b10101 *
+1"
+#25800
+0"
+b100001 !
+b100001 %
+b100001 $
+#25805
+b10110 *
+1"
+#25810
+0"
+#25815
+b10111 *
+1"
+#25820
+0"
+#25825
+b11000 *
+1"
+#25830
+0"
+#25835
+b11001 *
+1"
+#25840
+0"
+#25845
+b11010 *
+1"
+#25850
+0"
+#25855
+b11011 *
+1"
+#25860
+0"
+#25865
+b11100 *
+1"
+#25870
+0"
+#25875
+b11101 *
+1"
+#25880
+0"
+#25885
+b10 +
+b0 *
+1"
+#25890
+0"
+#25895
+b1 *
+1"
+#25900
+0"
+#25905
+b10 *
+1"
+#25910
+0"
+#25915
+b11 *
+1"
+#25920
+0"
+#25925
+b100 *
+1"
+#25930
+0"
+#25935
+b101 *
+1"
+#25940
+0"
+#25945
+b110 *
+1"
+#25950
+0"
+#25955
+b111 *
+1"
+#25960
+0"
+#25965
+b1000 *
+1"
+#25970
+0"
+#25975
+b1001 *
+1"
+#25980
+0"
+#25985
+b1010 *
+1"
+#25990
+0"
+#25995
+b1011 *
+1"
+#26000
+0"
+#26005
+b1100 *
+1"
+#26010
+0"
+#26015
+b1101 *
+1"
+#26020
+0"
+#26025
+b1110 *
+1"
+#26030
+0"
+#26035
+b1111 *
+1"
+#26040
+0"
+#26045
+b10000 *
+1"
+#26050
+0"
+#26055
+b10001 *
+1"
+#26060
+0"
+#26065
+b10010 *
+1"
+#26070
+0"
+#26075
+b10011 *
+1"
+#26080
+0"
+#26085
+b10100 *
+1"
+#26090
+0"
+#26095
+b10101 *
+1"
+#26100
+0"
+#26105
+b10110 *
+1"
+#26110
+0"
+#26115
+b10111 *
+1"
+#26120
+0"
+#26125
+b11000 *
+1"
+#26130
+0"
+#26135
+b11001 *
+1"
+#26140
+0"
+#26145
+b11010 *
+1"
+#26150
+0"
+#26155
+b11011 *
+1"
+#26160
+0"
+#26165
+b11100 *
+1"
+#26170
+0"
+#26175
+b11101 *
+1"
+#26180
+0"
+#26185
+b11 +
+b0 *
+1"
+#26190
+0"
+#26195
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#26200
+0"
+#26205
+b10 *
+1"
+#26210
+0"
+#26215
+b100 +
+b0 *
+1"
+#26220
+0"
+#26225
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#26230
+0"
+#26235
+b10 *
+1"
+#26240
+0"
+#26245
+b11 *
+1"
+#26250
+0"
+#26255
+b100 *
+1"
+#26260
+0"
+#26265
+b101 *
+1"
+#26270
+0"
+#26275
+b110 *
+1"
+#26280
+0"
+#26285
+b111 *
+1"
+#26290
+0"
+#26295
+b1000 *
+1"
+#26300
+0"
+#26305
+b1001 *
+1"
+#26310
+0"
+#26315
+b101 +
+b0 *
+1"
+#26320
+0"
+#26325
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#26330
+0"
+#26335
+b10 *
+1"
+#26340
+0"
+#26345
+b1 +
+b0 *
+1"
+#26350
+0"
+#26355
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#26360
+0"
+#26365
+b10 *
+1"
+#26370
+0"
+#26375
+b11 *
+1"
+#26380
+0"
+#26385
+b100 *
+1"
+#26390
+0"
+#26395
+b101 *
+1"
+#26400
+0"
+b100010 !
+b100010 %
+b100010 $
+#26405
+b110 *
+1"
+#26410
+0"
+#26415
+b111 *
+1"
+#26420
+0"
+#26425
+b1000 *
+1"
+#26430
+0"
+#26435
+b1001 *
+1"
+#26440
+0"
+#26445
+b1010 *
+1"
+#26450
+0"
+#26455
+b1011 *
+1"
+#26460
+0"
+#26465
+b1100 *
+1"
+#26470
+0"
+#26475
+b1101 *
+1"
+#26480
+0"
+#26485
+b1110 *
+1"
+#26490
+0"
+#26495
+b1111 *
+1"
+#26500
+0"
+#26505
+b10000 *
+1"
+#26510
+0"
+#26515
+b10001 *
+1"
+#26520
+0"
+#26525
+b10010 *
+1"
+#26530
+0"
+#26535
+b10011 *
+1"
+#26540
+0"
+#26545
+b10100 *
+1"
+#26550
+0"
+#26555
+b10101 *
+1"
+#26560
+0"
+#26565
+b10110 *
+1"
+#26570
+0"
+#26575
+b10111 *
+1"
+#26580
+0"
+#26585
+b11000 *
+1"
+#26590
+0"
+#26595
+b11001 *
+1"
+#26600
+0"
+#26605
+b11010 *
+1"
+#26610
+0"
+#26615
+b11011 *
+1"
+#26620
+0"
+#26625
+b11100 *
+1"
+#26630
+0"
+#26635
+b11101 *
+1"
+#26640
+0"
+#26645
+b10 +
+b0 *
+1"
+#26650
+0"
+#26655
+b1 *
+1"
+#26660
+0"
+#26665
+b10 *
+1"
+#26670
+0"
+#26675
+b11 *
+1"
+#26680
+0"
+#26685
+b100 *
+1"
+#26690
+0"
+#26695
+b101 *
+1"
+#26700
+0"
+#26705
+b110 *
+1"
+#26710
+0"
+#26715
+b111 *
+1"
+#26720
+0"
+#26725
+b1000 *
+1"
+#26730
+0"
+#26735
+b1001 *
+1"
+#26740
+0"
+#26745
+b1010 *
+1"
+#26750
+0"
+#26755
+b1011 *
+1"
+#26760
+0"
+#26765
+b1100 *
+1"
+#26770
+0"
+#26775
+b1101 *
+1"
+#26780
+0"
+#26785
+b1110 *
+1"
+#26790
+0"
+#26795
+b1111 *
+1"
+#26800
+0"
+#26805
+b10000 *
+1"
+#26810
+0"
+#26815
+b10001 *
+1"
+#26820
+0"
+#26825
+b10010 *
+1"
+#26830
+0"
+#26835
+b10011 *
+1"
+#26840
+0"
+#26845
+b10100 *
+1"
+#26850
+0"
+#26855
+b10101 *
+1"
+#26860
+0"
+#26865
+b10110 *
+1"
+#26870
+0"
+#26875
+b10111 *
+1"
+#26880
+0"
+#26885
+b11000 *
+1"
+#26890
+0"
+#26895
+b11001 *
+1"
+#26900
+0"
+#26905
+b11010 *
+1"
+#26910
+0"
+#26915
+b11011 *
+1"
+#26920
+0"
+#26925
+b11100 *
+1"
+#26930
+0"
+#26935
+b11101 *
+1"
+#26940
+0"
+#26945
+b11 +
+b0 *
+1"
+#26950
+0"
+#26955
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#26960
+0"
+#26965
+b10 *
+1"
+#26970
+0"
+#26975
+b100 +
+b0 *
+1"
+#26980
+0"
+#26985
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#26990
+0"
+#26995
+b10 *
+1"
+#27000
+0"
+b100011 !
+b100011 %
+b100011 $
+#27005
+b11 *
+1"
+#27010
+0"
+#27015
+b100 *
+1"
+#27020
+0"
+#27025
+b101 *
+1"
+#27030
+0"
+#27035
+b110 *
+1"
+#27040
+0"
+#27045
+b111 *
+1"
+#27050
+0"
+#27055
+b1000 *
+1"
+#27060
+0"
+#27065
+b1001 *
+1"
+#27070
+0"
+#27075
+b101 +
+b0 *
+1"
+#27080
+0"
+#27085
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#27090
+0"
+#27095
+b10 *
+1"
+#27100
+0"
+#27105
+b1 +
+b0 *
+1"
+#27110
+0"
+#27115
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#27120
+0"
+#27125
+b10 *
+1"
+#27130
+0"
+#27135
+b11 *
+1"
+#27140
+0"
+#27145
+b100 *
+1"
+#27150
+0"
+#27155
+b101 *
+1"
+#27160
+0"
+#27165
+b110 *
+1"
+#27170
+0"
+#27175
+b111 *
+1"
+#27180
+0"
+#27185
+b1000 *
+1"
+#27190
+0"
+#27195
+b1001 *
+1"
+#27200
+0"
+#27205
+b1010 *
+1"
+#27210
+0"
+#27215
+b1011 *
+1"
+#27220
+0"
+#27225
+b1100 *
+1"
+#27230
+0"
+#27235
+b1101 *
+1"
+#27240
+0"
+#27245
+b1110 *
+1"
+#27250
+0"
+#27255
+b1111 *
+1"
+#27260
+0"
+#27265
+b10000 *
+1"
+#27270
+0"
+#27275
+b10001 *
+1"
+#27280
+0"
+#27285
+b10010 *
+1"
+#27290
+0"
+#27295
+b10011 *
+1"
+#27300
+0"
+#27305
+b10100 *
+1"
+#27310
+0"
+#27315
+b10101 *
+1"
+#27320
+0"
+#27325
+b10110 *
+1"
+#27330
+0"
+#27335
+b10111 *
+1"
+#27340
+0"
+#27345
+b11000 *
+1"
+#27350
+0"
+#27355
+b11001 *
+1"
+#27360
+0"
+#27365
+b11010 *
+1"
+#27370
+0"
+#27375
+b11011 *
+1"
+#27380
+0"
+#27385
+b11100 *
+1"
+#27390
+0"
+#27395
+b11101 *
+1"
+#27400
+0"
+#27405
+b10 +
+b0 *
+1"
+#27410
+0"
+#27415
+b1 *
+1"
+#27420
+0"
+#27425
+b10 *
+1"
+#27430
+0"
+#27435
+b11 *
+1"
+#27440
+0"
+#27445
+b100 *
+1"
+#27450
+0"
+#27455
+b101 *
+1"
+#27460
+0"
+#27465
+b110 *
+1"
+#27470
+0"
+#27475
+b111 *
+1"
+#27480
+0"
+#27485
+b1000 *
+1"
+#27490
+0"
+#27495
+b1001 *
+1"
+#27500
+0"
+#27505
+b1010 *
+1"
+#27510
+0"
+#27515
+b1011 *
+1"
+#27520
+0"
+#27525
+b1100 *
+1"
+#27530
+0"
+#27535
+b1101 *
+1"
+#27540
+0"
+#27545
+b1110 *
+1"
+#27550
+0"
+#27555
+b1111 *
+1"
+#27560
+0"
+#27565
+b10000 *
+1"
+#27570
+0"
+#27575
+b10001 *
+1"
+#27580
+0"
+#27585
+b10010 *
+1"
+#27590
+0"
+#27595
+b10011 *
+1"
+#27600
+0"
+b100100 !
+b100100 %
+b100100 $
+#27605
+b10100 *
+1"
+#27610
+0"
+#27615
+b10101 *
+1"
+#27620
+0"
+#27625
+b10110 *
+1"
+#27630
+0"
+#27635
+b10111 *
+1"
+#27640
+0"
+#27645
+b11000 *
+1"
+#27650
+0"
+#27655
+b11001 *
+1"
+#27660
+0"
+#27665
+b11010 *
+1"
+#27670
+0"
+#27675
+b11011 *
+1"
+#27680
+0"
+#27685
+b11100 *
+1"
+#27690
+0"
+#27695
+b11101 *
+1"
+#27700
+0"
+#27705
+b11 +
+b0 *
+1"
+#27710
+0"
+#27715
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#27720
+0"
+#27725
+b10 *
+1"
+#27730
+0"
+#27735
+b100 +
+b0 *
+1"
+#27740
+0"
+#27745
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#27750
+0"
+#27755
+b10 *
+1"
+#27760
+0"
+#27765
+b11 *
+1"
+#27770
+0"
+#27775
+b100 *
+1"
+#27780
+0"
+#27785
+b101 *
+1"
+#27790
+0"
+#27795
+b110 *
+1"
+#27800
+0"
+#27805
+b111 *
+1"
+#27810
+0"
+#27815
+b1000 *
+1"
+#27820
+0"
+#27825
+b1001 *
+1"
+#27830
+0"
+#27835
+b101 +
+b0 *
+1"
+#27840
+0"
+#27845
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#27850
+0"
+#27855
+b10 *
+1"
+#27860
+0"
+#27865
+b1 +
+b0 *
+1"
+#27870
+0"
+#27875
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#27880
+0"
+#27885
+b10 *
+1"
+#27890
+0"
+#27895
+b11 *
+1"
+#27900
+0"
+#27905
+b100 *
+1"
+#27910
+0"
+#27915
+b101 *
+1"
+#27920
+0"
+#27925
+b110 *
+1"
+#27930
+0"
+#27935
+b111 *
+1"
+#27940
+0"
+#27945
+b1000 *
+1"
+#27950
+0"
+#27955
+b1001 *
+1"
+#27960
+0"
+#27965
+b1010 *
+1"
+#27970
+0"
+#27975
+b1011 *
+1"
+#27980
+0"
+#27985
+b1100 *
+1"
+#27990
+0"
+#27995
+b1101 *
+1"
+#28000
+0"
+#28005
+b1110 *
+1"
+#28010
+0"
+#28015
+b1111 *
+1"
+#28020
+0"
+#28025
+b10000 *
+1"
+#28030
+0"
+#28035
+b10001 *
+1"
+#28040
+0"
+#28045
+b10010 *
+1"
+#28050
+0"
+#28055
+b10011 *
+1"
+#28060
+0"
+#28065
+b10100 *
+1"
+#28070
+0"
+#28075
+b10101 *
+1"
+#28080
+0"
+#28085
+b10110 *
+1"
+#28090
+0"
+#28095
+b10111 *
+1"
+#28100
+0"
+#28105
+b11000 *
+1"
+#28110
+0"
+#28115
+b11001 *
+1"
+#28120
+0"
+#28125
+b11010 *
+1"
+#28130
+0"
+#28135
+b11011 *
+1"
+#28140
+0"
+#28145
+b11100 *
+1"
+#28150
+0"
+#28155
+b11101 *
+1"
+#28160
+0"
+#28165
+b10 +
+b0 *
+1"
+#28170
+0"
+#28175
+b1 *
+1"
+#28180
+0"
+#28185
+b10 *
+1"
+#28190
+0"
+#28195
+b11 *
+1"
+#28200
+0"
+b100101 !
+b100101 %
+b100101 $
+#28205
+b100 *
+1"
+#28210
+0"
+#28215
+b101 *
+1"
+#28220
+0"
+#28225
+b110 *
+1"
+#28230
+0"
+#28235
+b111 *
+1"
+#28240
+0"
+#28245
+b1000 *
+1"
+#28250
+0"
+#28255
+b1001 *
+1"
+#28260
+0"
+#28265
+b1010 *
+1"
+#28270
+0"
+#28275
+b1011 *
+1"
+#28280
+0"
+#28285
+b1100 *
+1"
+#28290
+0"
+#28295
+b1101 *
+1"
+#28300
+0"
+#28305
+b1110 *
+1"
+#28310
+0"
+#28315
+b1111 *
+1"
+#28320
+0"
+#28325
+b10000 *
+1"
+#28330
+0"
+#28335
+b10001 *
+1"
+#28340
+0"
+#28345
+b10010 *
+1"
+#28350
+0"
+#28355
+b10011 *
+1"
+#28360
+0"
+#28365
+b10100 *
+1"
+#28370
+0"
+#28375
+b10101 *
+1"
+#28380
+0"
+#28385
+b10110 *
+1"
+#28390
+0"
+#28395
+b10111 *
+1"
+#28400
+0"
+#28405
+b11000 *
+1"
+#28410
+0"
+#28415
+b11001 *
+1"
+#28420
+0"
+#28425
+b11010 *
+1"
+#28430
+0"
+#28435
+b11011 *
+1"
+#28440
+0"
+#28445
+b11100 *
+1"
+#28450
+0"
+#28455
+b11101 *
+1"
+#28460
+0"
+#28465
+b11 +
+b0 *
+1"
+#28470
+0"
+#28475
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#28480
+0"
+#28485
+b10 *
+1"
+#28490
+0"
+#28495
+b100 +
+b0 *
+1"
+#28500
+0"
+#28505
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#28510
+0"
+#28515
+b10 *
+1"
+#28520
+0"
+#28525
+b11 *
+1"
+#28530
+0"
+#28535
+b100 *
+1"
+#28540
+0"
+#28545
+b101 *
+1"
+#28550
+0"
+#28555
+b110 *
+1"
+#28560
+0"
+#28565
+b111 *
+1"
+#28570
+0"
+#28575
+b1000 *
+1"
+#28580
+0"
+#28585
+b1001 *
+1"
+#28590
+0"
+#28595
+b101 +
+b0 *
+1"
+#28600
+0"
+#28605
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#28610
+0"
+#28615
+b10 *
+1"
+#28620
+0"
+#28625
+b1 +
+b0 *
+1"
+#28630
+0"
+#28635
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#28640
+0"
+#28645
+b10 *
+1"
+#28650
+0"
+#28655
+b11 *
+1"
+#28660
+0"
+#28665
+b100 *
+1"
+#28670
+0"
+#28675
+b101 *
+1"
+#28680
+0"
+#28685
+b110 *
+1"
+#28690
+0"
+#28695
+b111 *
+1"
+#28700
+0"
+#28705
+b1000 *
+1"
+#28710
+0"
+#28715
+b1001 *
+1"
+#28720
+0"
+#28725
+b1010 *
+1"
+#28730
+0"
+#28735
+b1011 *
+1"
+#28740
+0"
+#28745
+b1100 *
+1"
+#28750
+0"
+#28755
+b1101 *
+1"
+#28760
+0"
+#28765
+b1110 *
+1"
+#28770
+0"
+#28775
+b1111 *
+1"
+#28780
+0"
+#28785
+b10000 *
+1"
+#28790
+0"
+#28795
+b10001 *
+1"
+#28800
+0"
+b100110 !
+b100110 %
+b100110 $
+#28805
+b10010 *
+1"
+#28810
+0"
+#28815
+b10011 *
+1"
+#28820
+0"
+#28825
+b10100 *
+1"
+#28830
+0"
+#28835
+b10101 *
+1"
+#28840
+0"
+#28845
+b10110 *
+1"
+#28850
+0"
+#28855
+b10111 *
+1"
+#28860
+0"
+#28865
+b11000 *
+1"
+#28870
+0"
+#28875
+b11001 *
+1"
+#28880
+0"
+#28885
+b11010 *
+1"
+#28890
+0"
+#28895
+b11011 *
+1"
+#28900
+0"
+#28905
+b11100 *
+1"
+#28910
+0"
+#28915
+b11101 *
+1"
+#28920
+0"
+#28925
+b10 +
+b0 *
+1"
+#28930
+0"
+#28935
+b1 *
+1"
+#28940
+0"
+#28945
+b10 *
+1"
+#28950
+0"
+#28955
+b11 *
+1"
+#28960
+0"
+#28965
+b100 *
+1"
+#28970
+0"
+#28975
+b101 *
+1"
+#28980
+0"
+#28985
+b110 *
+1"
+#28990
+0"
+#28995
+b111 *
+1"
+#29000
+0"
+#29005
+b1000 *
+1"
+#29010
+0"
+#29015
+b1001 *
+1"
+#29020
+0"
+#29025
+b1010 *
+1"
+#29030
+0"
+#29035
+b1011 *
+1"
+#29040
+0"
+#29045
+b1100 *
+1"
+#29050
+0"
+#29055
+b1101 *
+1"
+#29060
+0"
+#29065
+b1110 *
+1"
+#29070
+0"
+#29075
+b1111 *
+1"
+#29080
+0"
+#29085
+b10000 *
+1"
+#29090
+0"
+#29095
+b10001 *
+1"
+#29100
+0"
+#29105
+b10010 *
+1"
+#29110
+0"
+#29115
+b10011 *
+1"
+#29120
+0"
+#29125
+b10100 *
+1"
+#29130
+0"
+#29135
+b10101 *
+1"
+#29140
+0"
+#29145
+b10110 *
+1"
+#29150
+0"
+#29155
+b10111 *
+1"
+#29160
+0"
+#29165
+b11000 *
+1"
+#29170
+0"
+#29175
+b11001 *
+1"
+#29180
+0"
+#29185
+b11010 *
+1"
+#29190
+0"
+#29195
+b11011 *
+1"
+#29200
+0"
+#29205
+b11100 *
+1"
+#29210
+0"
+#29215
+b11101 *
+1"
+#29220
+0"
+#29225
+b11 +
+b0 *
+1"
+#29230
+0"
+#29235
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#29240
+0"
+#29245
+b10 *
+1"
+#29250
+0"
+#29255
+b100 +
+b0 *
+1"
+#29260
+0"
+#29265
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#29270
+0"
+#29275
+b10 *
+1"
+#29280
+0"
+#29285
+b11 *
+1"
+#29290
+0"
+#29295
+b100 *
+1"
+#29300
+0"
+#29305
+b101 *
+1"
+#29310
+0"
+#29315
+b110 *
+1"
+#29320
+0"
+#29325
+b111 *
+1"
+#29330
+0"
+#29335
+b1000 *
+1"
+#29340
+0"
+#29345
+b1001 *
+1"
+#29350
+0"
+#29355
+b101 +
+b0 *
+1"
+#29360
+0"
+#29365
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#29370
+0"
+#29375
+b10 *
+1"
+#29380
+0"
+#29385
+b1 +
+b0 *
+1"
+#29390
+0"
+#29395
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#29400
+0"
+b100111 !
+b100111 %
+b100111 $
+#29405
+b10 *
+1"
+#29410
+0"
+#29415
+b11 *
+1"
+#29420
+0"
+#29425
+b100 *
+1"
+#29430
+0"
+#29435
+b101 *
+1"
+#29440
+0"
+#29445
+b110 *
+1"
+#29450
+0"
+#29455
+b111 *
+1"
+#29460
+0"
+#29465
+b1000 *
+1"
+#29470
+0"
+#29475
+b1001 *
+1"
+#29480
+0"
+#29485
+b1010 *
+1"
+#29490
+0"
+#29495
+b1011 *
+1"
+#29500
+0"
+#29505
+b1100 *
+1"
+#29510
+0"
+#29515
+b1101 *
+1"
+#29520
+0"
+#29525
+b1110 *
+1"
+#29530
+0"
+#29535
+b1111 *
+1"
+#29540
+0"
+#29545
+b10000 *
+1"
+#29550
+0"
+#29555
+b10001 *
+1"
+#29560
+0"
+#29565
+b10010 *
+1"
+#29570
+0"
+#29575
+b10011 *
+1"
+#29580
+0"
+#29585
+b10100 *
+1"
+#29590
+0"
+#29595
+b10101 *
+1"
+#29600
+0"
+#29605
+b10110 *
+1"
+#29610
+0"
+#29615
+b10111 *
+1"
+#29620
+0"
+#29625
+b11000 *
+1"
+#29630
+0"
+#29635
+b11001 *
+1"
+#29640
+0"
+#29645
+b11010 *
+1"
+#29650
+0"
+#29655
+b11011 *
+1"
+#29660
+0"
+#29665
+b11100 *
+1"
+#29670
+0"
+#29675
+b11101 *
+1"
+#29680
+0"
+#29685
+b10 +
+b0 *
+1"
+#29690
+0"
+#29695
+b1 *
+1"
+#29700
+0"
+#29705
+b10 *
+1"
+#29710
+0"
+#29715
+b11 *
+1"
+#29720
+0"
+#29725
+b100 *
+1"
+#29730
+0"
+#29735
+b101 *
+1"
+#29740
+0"
+#29745
+b110 *
+1"
+#29750
+0"
+#29755
+b111 *
+1"
+#29760
+0"
+#29765
+b1000 *
+1"
+#29770
+0"
+#29775
+b1001 *
+1"
+#29780
+0"
+#29785
+b1010 *
+1"
+#29790
+0"
+#29795
+b1011 *
+1"
+#29800
+0"
+#29805
+b1100 *
+1"
+#29810
+0"
+#29815
+b1101 *
+1"
+#29820
+0"
+#29825
+b1110 *
+1"
+#29830
+0"
+#29835
+b1111 *
+1"
+#29840
+0"
+#29845
+b10000 *
+1"
+#29850
+0"
+#29855
+b10001 *
+1"
+#29860
+0"
+#29865
+b10010 *
+1"
+#29870
+0"
+#29875
+b10011 *
+1"
+#29880
+0"
+#29885
+b10100 *
+1"
+#29890
+0"
+#29895
+b10101 *
+1"
+#29900
+0"
+#29905
+b10110 *
+1"
+#29910
+0"
+#29915
+b10111 *
+1"
+#29920
+0"
+#29925
+b11000 *
+1"
+#29930
+0"
+#29935
+b11001 *
+1"
+#29940
+0"
+#29945
+b11010 *
+1"
+#29950
+0"
+#29955
+b11011 *
+1"
+#29960
+0"
+#29965
+b11100 *
+1"
+#29970
+0"
+#29975
+b11101 *
+1"
+#29980
+0"
+#29985
+b11 +
+b0 *
+1"
+#29990
+0"
+#29995
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#30000
+0"
+b101000 !
+b101000 %
+b101000 $
+#30005
+b10 *
+1"
+#30010
+0"
+#30015
+b100 +
+b0 *
+1"
+#30020
+0"
+#30025
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#30030
+0"
+#30035
+b10 *
+1"
+#30040
+0"
+#30045
+b11 *
+1"
+#30050
+0"
+#30055
+b100 *
+1"
+#30060
+0"
+#30065
+b101 *
+1"
+#30070
+0"
+#30075
+b110 *
+1"
+#30080
+0"
+#30085
+b111 *
+1"
+#30090
+0"
+#30095
+b1000 *
+1"
+#30100
+0"
+#30105
+b1001 *
+1"
+#30110
+0"
+#30115
+b101 +
+b0 *
+1"
+#30120
+0"
+#30125
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#30130
+0"
+#30135
+b10 *
+1"
+#30140
+0"
+#30145
+b1 +
+b0 *
+1"
+#30150
+0"
+#30155
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#30160
+0"
+#30165
+b10 *
+1"
+#30170
+0"
+#30175
+b11 *
+1"
+#30180
+0"
+#30185
+b100 *
+1"
+#30190
+0"
+#30195
+b101 *
+1"
+#30200
+0"
+#30205
+b110 *
+1"
+#30210
+0"
+#30215
+b111 *
+1"
+#30220
+0"
+#30225
+b1000 *
+1"
+#30230
+0"
+#30235
+b1001 *
+1"
+#30240
+0"
+#30245
+b1010 *
+1"
+#30250
+0"
+#30255
+b1011 *
+1"
+#30260
+0"
+#30265
+b1100 *
+1"
+#30270
+0"
+#30275
+b1101 *
+1"
+#30280
+0"
+#30285
+b1110 *
+1"
+#30290
+0"
+#30295
+b1111 *
+1"
+#30300
+0"
+#30305
+b10000 *
+1"
+#30310
+0"
+#30315
+b10001 *
+1"
+#30320
+0"
+#30325
+b10010 *
+1"
+#30330
+0"
+#30335
+b10011 *
+1"
+#30340
+0"
+#30345
+b10100 *
+1"
+#30350
+0"
+#30355
+b10101 *
+1"
+#30360
+0"
+#30365
+b10110 *
+1"
+#30370
+0"
+#30375
+b10111 *
+1"
+#30380
+0"
+#30385
+b11000 *
+1"
+#30390
+0"
+#30395
+b11001 *
+1"
+#30400
+0"
+#30405
+b11010 *
+1"
+#30410
+0"
+#30415
+b11011 *
+1"
+#30420
+0"
+#30425
+b11100 *
+1"
+#30430
+0"
+#30435
+b11101 *
+1"
+#30440
+0"
+#30445
+b10 +
+b0 *
+1"
+#30450
+0"
+#30455
+b1 *
+1"
+#30460
+0"
+#30465
+b10 *
+1"
+#30470
+0"
+#30475
+b11 *
+1"
+#30480
+0"
+#30485
+b100 *
+1"
+#30490
+0"
+#30495
+b101 *
+1"
+#30500
+0"
+#30505
+b110 *
+1"
+#30510
+0"
+#30515
+b111 *
+1"
+#30520
+0"
+#30525
+b1000 *
+1"
+#30530
+0"
+#30535
+b1001 *
+1"
+#30540
+0"
+#30545
+b1010 *
+1"
+#30550
+0"
+#30555
+b1011 *
+1"
+#30560
+0"
+#30565
+b1100 *
+1"
+#30570
+0"
+#30575
+b1101 *
+1"
+#30580
+0"
+#30585
+b1110 *
+1"
+#30590
+0"
+#30595
+b1111 *
+1"
+#30600
+0"
+b101001 !
+b101001 %
+b101001 $
+#30605
+b10000 *
+1"
+#30610
+0"
+#30615
+b10001 *
+1"
+#30620
+0"
+#30625
+b10010 *
+1"
+#30630
+0"
+#30635
+b10011 *
+1"
+#30640
+0"
+#30645
+b10100 *
+1"
+#30650
+0"
+#30655
+b10101 *
+1"
+#30660
+0"
+#30665
+b10110 *
+1"
+#30670
+0"
+#30675
+b10111 *
+1"
+#30680
+0"
+#30685
+b11000 *
+1"
+#30690
+0"
+#30695
+b11001 *
+1"
+#30700
+0"
+#30705
+b11010 *
+1"
+#30710
+0"
+#30715
+b11011 *
+1"
+#30720
+0"
+#30725
+b11100 *
+1"
+#30730
+0"
+#30735
+b11101 *
+1"
+#30740
+0"
+#30745
+b11 +
+b0 *
+1"
+#30750
+0"
+#30755
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#30760
+0"
+#30765
+b10 *
+1"
+#30770
+0"
+#30775
+b100 +
+b0 *
+1"
+#30780
+0"
+#30785
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#30790
+0"
+#30795
+b10 *
+1"
+#30800
+0"
+#30805
+b11 *
+1"
+#30810
+0"
+#30815
+b100 *
+1"
+#30820
+0"
+#30825
+b101 *
+1"
+#30830
+0"
+#30835
+b110 *
+1"
+#30840
+0"
+#30845
+b111 *
+1"
+#30850
+0"
+#30855
+b1000 *
+1"
+#30860
+0"
+#30865
+b1001 *
+1"
+#30870
+0"
+#30875
+b101 +
+b0 *
+1"
+#30880
+0"
+#30885
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#30890
+0"
+#30895
+b10 *
+1"
+#30900
+0"
+#30905
+b1 +
+b0 *
+1"
+#30910
+0"
+#30915
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#30920
+0"
+#30925
+b10 *
+1"
+#30930
+0"
+#30935
+b11 *
+1"
+#30940
+0"
+#30945
+b100 *
+1"
+#30950
+0"
+#30955
+b101 *
+1"
+#30960
+0"
+#30965
+b110 *
+1"
+#30970
+0"
+#30975
+b111 *
+1"
+#30980
+0"
+#30985
+b1000 *
+1"
+#30990
+0"
+#30995
+b1001 *
+1"
+#31000
+0"
+#31005
+b1010 *
+1"
+#31010
+0"
+#31015
+b1011 *
+1"
+#31020
+0"
+#31025
+b1100 *
+1"
+#31030
+0"
+#31035
+b1101 *
+1"
+#31040
+0"
+#31045
+b1110 *
+1"
+#31050
+0"
+#31055
+b1111 *
+1"
+#31060
+0"
+#31065
+b10000 *
+1"
+#31070
+0"
+#31075
+b10001 *
+1"
+#31080
+0"
+#31085
+b10010 *
+1"
+#31090
+0"
+#31095
+b10011 *
+1"
+#31100
+0"
+#31105
+b10100 *
+1"
+#31110
+0"
+#31115
+b10101 *
+1"
+#31120
+0"
+#31125
+b10110 *
+1"
+#31130
+0"
+#31135
+b10111 *
+1"
+#31140
+0"
+#31145
+b11000 *
+1"
+#31150
+0"
+#31155
+b11001 *
+1"
+#31160
+0"
+#31165
+b11010 *
+1"
+#31170
+0"
+#31175
+b11011 *
+1"
+#31180
+0"
+#31185
+b11100 *
+1"
+#31190
+0"
+#31195
+b11101 *
+1"
+#31200
+0"
+b101010 !
+b101010 %
+b101010 $
+#31205
+b10 +
+b0 *
+1"
+#31210
+0"
+#31215
+b1 *
+1"
+#31220
+0"
+#31225
+b10 *
+1"
+#31230
+0"
+#31235
+b11 *
+1"
+#31240
+0"
+#31245
+b100 *
+1"
+#31250
+0"
+#31255
+b101 *
+1"
+#31260
+0"
+#31265
+b110 *
+1"
+#31270
+0"
+#31275
+b111 *
+1"
+#31280
+0"
+#31285
+b1000 *
+1"
+#31290
+0"
+#31295
+b1001 *
+1"
+#31300
+0"
+#31305
+b1010 *
+1"
+#31310
+0"
+#31315
+b1011 *
+1"
+#31320
+0"
+#31325
+b1100 *
+1"
+#31330
+0"
+#31335
+b1101 *
+1"
+#31340
+0"
+#31345
+b1110 *
+1"
+#31350
+0"
+#31355
+b1111 *
+1"
+#31360
+0"
+#31365
+b10000 *
+1"
+#31370
+0"
+#31375
+b10001 *
+1"
+#31380
+0"
+#31385
+b10010 *
+1"
+#31390
+0"
+#31395
+b10011 *
+1"
+#31400
+0"
+#31405
+b10100 *
+1"
+#31410
+0"
+#31415
+b10101 *
+1"
+#31420
+0"
+#31425
+b10110 *
+1"
+#31430
+0"
+#31435
+b10111 *
+1"
+#31440
+0"
+#31445
+b11000 *
+1"
+#31450
+0"
+#31455
+b11001 *
+1"
+#31460
+0"
+#31465
+b11010 *
+1"
+#31470
+0"
+#31475
+b11011 *
+1"
+#31480
+0"
+#31485
+b11100 *
+1"
+#31490
+0"
+#31495
+b11101 *
+1"
+#31500
+0"
+#31505
+b11 +
+b0 *
+1"
+#31510
+0"
+#31515
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#31520
+0"
+#31525
+b10 *
+1"
+#31530
+0"
+#31535
+b100 +
+b0 *
+1"
+#31540
+0"
+#31545
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#31550
+0"
+#31555
+b10 *
+1"
+#31560
+0"
+#31565
+b11 *
+1"
+#31570
+0"
+#31575
+b100 *
+1"
+#31580
+0"
+#31585
+b101 *
+1"
+#31590
+0"
+#31595
+b110 *
+1"
+#31600
+0"
+#31605
+b111 *
+1"
+#31610
+0"
+#31615
+b1000 *
+1"
+#31620
+0"
+#31625
+b1001 *
+1"
+#31630
+0"
+#31635
+b101 +
+b0 *
+1"
+#31640
+0"
+#31645
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#31650
+0"
+#31655
+b10 *
+1"
+#31660
+0"
+#31665
+b1 +
+b0 *
+1"
+#31670
+0"
+#31675
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#31680
+0"
+#31685
+b10 *
+1"
+#31690
+0"
+#31695
+b11 *
+1"
+#31700
+0"
+#31705
+b100 *
+1"
+#31710
+0"
+#31715
+b101 *
+1"
+#31720
+0"
+#31725
+b110 *
+1"
+#31730
+0"
+#31735
+b111 *
+1"
+#31740
+0"
+#31745
+b1000 *
+1"
+#31750
+0"
+#31755
+b1001 *
+1"
+#31760
+0"
+#31765
+b1010 *
+1"
+#31770
+0"
+#31775
+b1011 *
+1"
+#31780
+0"
+#31785
+b1100 *
+1"
+#31790
+0"
+#31795
+b1101 *
+1"
+#31800
+0"
+b101011 !
+b101011 %
+b101011 $
+#31805
+b1110 *
+1"
+#31810
+0"
+#31815
+b1111 *
+1"
+#31820
+0"
+#31825
+b10000 *
+1"
+#31830
+0"
+#31835
+b10001 *
+1"
+#31840
+0"
+#31845
+b10010 *
+1"
+#31850
+0"
+#31855
+b10011 *
+1"
+#31860
+0"
+#31865
+b10100 *
+1"
+#31870
+0"
+#31875
+b10101 *
+1"
+#31880
+0"
+#31885
+b10110 *
+1"
+#31890
+0"
+#31895
+b10111 *
+1"
+#31900
+0"
+#31905
+b11000 *
+1"
+#31910
+0"
+#31915
+b11001 *
+1"
+#31920
+0"
+#31925
+b11010 *
+1"
+#31930
+0"
+#31935
+b11011 *
+1"
+#31940
+0"
+#31945
+b11100 *
+1"
+#31950
+0"
+#31955
+b11101 *
+1"
+#31960
+0"
+#31965
+b10 +
+b0 *
+1"
+#31970
+0"
+#31975
+b1 *
+1"
+#31980
+0"
+#31985
+b10 *
+1"
+#31990
+0"
+#31995
+b11 *
+1"
+#32000
+0"
+#32005
+b100 *
+1"
+#32010
+0"
+#32015
+b101 *
+1"
+#32020
+0"
+#32025
+b110 *
+1"
+#32030
+0"
+#32035
+b111 *
+1"
+#32040
+0"
+#32045
+b1000 *
+1"
+#32050
+0"
+#32055
+b1001 *
+1"
+#32060
+0"
+#32065
+b1010 *
+1"
+#32070
+0"
+#32075
+b1011 *
+1"
+#32080
+0"
+#32085
+b1100 *
+1"
+#32090
+0"
+#32095
+b1101 *
+1"
+#32100
+0"
+#32105
+b1110 *
+1"
+#32110
+0"
+#32115
+b1111 *
+1"
+#32120
+0"
+#32125
+b10000 *
+1"
+#32130
+0"
+#32135
+b10001 *
+1"
+#32140
+0"
+#32145
+b10010 *
+1"
+#32150
+0"
+#32155
+b10011 *
+1"
+#32160
+0"
+#32165
+b10100 *
+1"
+#32170
+0"
+#32175
+b10101 *
+1"
+#32180
+0"
+#32185
+b10110 *
+1"
+#32190
+0"
+#32195
+b10111 *
+1"
+#32200
+0"
+#32205
+b11000 *
+1"
+#32210
+0"
+#32215
+b11001 *
+1"
+#32220
+0"
+#32225
+b11010 *
+1"
+#32230
+0"
+#32235
+b11011 *
+1"
+#32240
+0"
+#32245
+b11100 *
+1"
+#32250
+0"
+#32255
+b11101 *
+1"
+#32260
+0"
+#32265
+b11 +
+b0 *
+1"
+#32270
+0"
+#32275
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#32280
+0"
+#32285
+b10 *
+1"
+#32290
+0"
+#32295
+b100 +
+b0 *
+1"
+#32300
+0"
+#32305
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#32310
+0"
+#32315
+b10 *
+1"
+#32320
+0"
+#32325
+b11 *
+1"
+#32330
+0"
+#32335
+b100 *
+1"
+#32340
+0"
+#32345
+b101 *
+1"
+#32350
+0"
+#32355
+b110 *
+1"
+#32360
+0"
+#32365
+b111 *
+1"
+#32370
+0"
+#32375
+b1000 *
+1"
+#32380
+0"
+#32385
+b1001 *
+1"
+#32390
+0"
+#32395
+b101 +
+b0 *
+1"
+#32400
+0"
+b101100 !
+b101100 %
+b101100 $
+#32405
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#32410
+0"
+#32415
+b10 *
+1"
+#32420
+0"
+#32425
+b1 +
+b0 *
+1"
+#32430
+0"
+#32435
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#32440
+0"
+#32445
+b10 *
+1"
+#32450
+0"
+#32455
+b11 *
+1"
+#32460
+0"
+#32465
+b100 *
+1"
+#32470
+0"
+#32475
+b101 *
+1"
+#32480
+0"
+#32485
+b110 *
+1"
+#32490
+0"
+#32495
+b111 *
+1"
+#32500
+0"
+#32505
+b1000 *
+1"
+#32510
+0"
+#32515
+b1001 *
+1"
+#32520
+0"
+#32525
+b1010 *
+1"
+#32530
+0"
+#32535
+b1011 *
+1"
+#32540
+0"
+#32545
+b1100 *
+1"
+#32550
+0"
+#32555
+b1101 *
+1"
+#32560
+0"
+#32565
+b1110 *
+1"
+#32570
+0"
+#32575
+b1111 *
+1"
+#32580
+0"
+#32585
+b10000 *
+1"
+#32590
+0"
+#32595
+b10001 *
+1"
+#32600
+0"
+#32605
+b10010 *
+1"
+#32610
+0"
+#32615
+b10011 *
+1"
+#32620
+0"
+#32625
+b10100 *
+1"
+#32630
+0"
+#32635
+b10101 *
+1"
+#32640
+0"
+#32645
+b10110 *
+1"
+#32650
+0"
+#32655
+b10111 *
+1"
+#32660
+0"
+#32665
+b11000 *
+1"
+#32670
+0"
+#32675
+b11001 *
+1"
+#32680
+0"
+#32685
+b11010 *
+1"
+#32690
+0"
+#32695
+b11011 *
+1"
+#32700
+0"
+#32705
+b11100 *
+1"
+#32710
+0"
+#32715
+b11101 *
+1"
+#32720
+0"
+#32725
+b10 +
+b0 *
+1"
+#32730
+0"
+#32735
+b1 *
+1"
+#32740
+0"
+#32745
+b10 *
+1"
+#32750
+0"
+#32755
+b11 *
+1"
+#32760
+0"
+#32765
+b100 *
+1"
+#32770
+0"
+#32775
+b101 *
+1"
+#32780
+0"
+#32785
+b110 *
+1"
+#32790
+0"
+#32795
+b111 *
+1"
+#32800
+0"
+#32805
+b1000 *
+1"
+#32810
+0"
+#32815
+b1001 *
+1"
+#32820
+0"
+#32825
+b1010 *
+1"
+#32830
+0"
+#32835
+b1011 *
+1"
+#32840
+0"
+#32845
+b1100 *
+1"
+#32850
+0"
+#32855
+b1101 *
+1"
+#32860
+0"
+#32865
+b1110 *
+1"
+#32870
+0"
+#32875
+b1111 *
+1"
+#32880
+0"
+#32885
+b10000 *
+1"
+#32890
+0"
+#32895
+b10001 *
+1"
+#32900
+0"
+#32905
+b10010 *
+1"
+#32910
+0"
+#32915
+b10011 *
+1"
+#32920
+0"
+#32925
+b10100 *
+1"
+#32930
+0"
+#32935
+b10101 *
+1"
+#32940
+0"
+#32945
+b10110 *
+1"
+#32950
+0"
+#32955
+b10111 *
+1"
+#32960
+0"
+#32965
+b11000 *
+1"
+#32970
+0"
+#32975
+b11001 *
+1"
+#32980
+0"
+#32985
+b11010 *
+1"
+#32990
+0"
+#32995
+b11011 *
+1"
+#33000
+0"
+b101101 !
+b101101 %
+b101101 $
+#33005
+b11100 *
+1"
+#33010
+0"
+#33015
+b11101 *
+1"
+#33020
+0"
+#33025
+b11 +
+b0 *
+1"
+#33030
+0"
+#33035
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#33040
+0"
+#33045
+b10 *
+1"
+#33050
+0"
+#33055
+b100 +
+b0 *
+1"
+#33060
+0"
+#33065
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#33070
+0"
+#33075
+b10 *
+1"
+#33080
+0"
+#33085
+b11 *
+1"
+#33090
+0"
+#33095
+b100 *
+1"
+#33100
+0"
+#33105
+b101 *
+1"
+#33110
+0"
+#33115
+b110 *
+1"
+#33120
+0"
+#33125
+b111 *
+1"
+#33130
+0"
+#33135
+b1000 *
+1"
+#33140
+0"
+#33145
+b1001 *
+1"
+#33150
+0"
+#33155
+b101 +
+b0 *
+1"
+#33160
+0"
+#33165
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#33170
+0"
+#33175
+b10 *
+1"
+#33180
+0"
+#33185
+b1 +
+b0 *
+1"
+#33190
+0"
+#33195
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#33200
+0"
+#33205
+b10 *
+1"
+#33210
+0"
+#33215
+b11 *
+1"
+#33220
+0"
+#33225
+b100 *
+1"
+#33230
+0"
+#33235
+b101 *
+1"
+#33240
+0"
+#33245
+b110 *
+1"
+#33250
+0"
+#33255
+b111 *
+1"
+#33260
+0"
+#33265
+b1000 *
+1"
+#33270
+0"
+#33275
+b1001 *
+1"
+#33280
+0"
+#33285
+b1010 *
+1"
+#33290
+0"
+#33295
+b1011 *
+1"
+#33300
+0"
+#33305
+b1100 *
+1"
+#33310
+0"
+#33315
+b1101 *
+1"
+#33320
+0"
+#33325
+b1110 *
+1"
+#33330
+0"
+#33335
+b1111 *
+1"
+#33340
+0"
+#33345
+b10000 *
+1"
+#33350
+0"
+#33355
+b10001 *
+1"
+#33360
+0"
+#33365
+b10010 *
+1"
+#33370
+0"
+#33375
+b10011 *
+1"
+#33380
+0"
+#33385
+b10100 *
+1"
+#33390
+0"
+#33395
+b10101 *
+1"
+#33400
+0"
+#33405
+b10110 *
+1"
+#33410
+0"
+#33415
+b10111 *
+1"
+#33420
+0"
+#33425
+b11000 *
+1"
+#33430
+0"
+#33435
+b11001 *
+1"
+#33440
+0"
+#33445
+b11010 *
+1"
+#33450
+0"
+#33455
+b11011 *
+1"
+#33460
+0"
+#33465
+b11100 *
+1"
+#33470
+0"
+#33475
+b11101 *
+1"
+#33480
+0"
+#33485
+b11 +
+b0 *
+1"
+#33490
+0"
+#33495
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#33500
+0"
+#33505
+b10 *
+1"
+#33510
+0"
+#33515
+b100 +
+b0 *
+1"
+#33520
+0"
+#33525
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#33530
+0"
+#33535
+b10 *
+1"
+#33540
+0"
+#33545
+b11 *
+1"
+#33550
+0"
+#33555
+b100 *
+1"
+#33560
+0"
+#33565
+b101 *
+1"
+#33570
+0"
+#33575
+b110 *
+1"
+#33580
+0"
+#33585
+b111 *
+1"
+#33590
+0"
+#33595
+b1000 *
+1"
+#33600
+0"
+b101110 !
+b101110 %
+b101110 $
+#33605
+b1001 *
+1"
+#33610
+0"
+#33615
+b101 +
+b0 *
+1"
+#33620
+0"
+#33625
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#33630
+0"
+#33635
+b10 *
+1"
+#33640
+0"
+#33645
+b1 +
+b0 *
+1"
+#33650
+0"
+#33655
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#33660
+0"
+#33665
+b10 *
+1"
+#33670
+0"
+#33675
+b11 *
+1"
+#33680
+0"
+#33685
+b100 *
+1"
+#33690
+0"
+#33695
+b101 *
+1"
+#33700
+0"
+#33705
+b110 *
+1"
+#33710
+0"
+#33715
+b111 *
+1"
+#33720
+0"
+#33725
+b1000 *
+1"
+#33730
+0"
+#33735
+b1001 *
+1"
+#33740
+0"
+#33745
+b1010 *
+1"
+#33750
+0"
+#33755
+b1011 *
+1"
+#33760
+0"
+#33765
+b1100 *
+1"
+#33770
+0"
+#33775
+b1101 *
+1"
+#33780
+0"
+#33785
+b1110 *
+1"
+#33790
+0"
+#33795
+b1111 *
+1"
+#33800
+0"
+#33805
+b10000 *
+1"
+#33810
+0"
+#33815
+b10001 *
+1"
+#33820
+0"
+#33825
+b10010 *
+1"
+#33830
+0"
+#33835
+b10011 *
+1"
+#33840
+0"
+#33845
+b10100 *
+1"
+#33850
+0"
+#33855
+b10101 *
+1"
+#33860
+0"
+#33865
+b10110 *
+1"
+#33870
+0"
+#33875
+b10111 *
+1"
+#33880
+0"
+#33885
+b11000 *
+1"
+#33890
+0"
+#33895
+b11001 *
+1"
+#33900
+0"
+#33905
+b11010 *
+1"
+#33910
+0"
+#33915
+b11011 *
+1"
+#33920
+0"
+#33925
+b11100 *
+1"
+#33930
+0"
+#33935
+b11101 *
+1"
+#33940
+0"
+#33945
+b11 +
+b0 *
+1"
+#33950
+0"
+#33955
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#33960
+0"
+#33965
+b10 *
+1"
+#33970
+0"
+#33975
+b100 +
+b0 *
+1"
+#33980
+0"
+#33985
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#33990
+0"
+#33995
+b10 *
+1"
+#34000
+0"
+#34005
+b11 *
+1"
+#34010
+0"
+#34015
+b100 *
+1"
+#34020
+0"
+#34025
+b101 *
+1"
+#34030
+0"
+#34035
+b110 *
+1"
+#34040
+0"
+#34045
+b111 *
+1"
+#34050
+0"
+#34055
+b1000 *
+1"
+#34060
+0"
+#34065
+b1001 *
+1"
+#34070
+0"
+#34075
+b101 +
+b0 *
+1"
+#34080
+0"
+#34085
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#34090
+0"
+#34095
+b10 *
+1"
+#34100
+0"
+#34105
+b1 +
+b0 *
+1"
+#34110
+0"
+#34115
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#34120
+0"
+#34125
+b10 *
+1"
+#34130
+0"
+#34135
+b11 *
+1"
+#34140
+0"
+#34145
+b100 *
+1"
+#34150
+0"
+#34155
+b101 *
+1"
+#34160
+0"
+#34165
+b110 *
+1"
+#34170
+0"
+#34175
+b111 *
+1"
+#34180
+0"
+#34185
+b1000 *
+1"
+#34190
+0"
+#34195
+b1001 *
+1"
+#34200
+0"
+b101111 !
+b101111 %
+b101111 $
+#34205
+b1010 *
+1"
+#34210
+0"
+#34215
+b1011 *
+1"
+#34220
+0"
+#34225
+b1100 *
+1"
+#34230
+0"
+#34235
+b1101 *
+1"
+#34240
+0"
+#34245
+b1110 *
+1"
+#34250
+0"
+#34255
+b1111 *
+1"
+#34260
+0"
+#34265
+b10000 *
+1"
+#34270
+0"
+#34275
+b10001 *
+1"
+#34280
+0"
+#34285
+b10010 *
+1"
+#34290
+0"
+#34295
+b10011 *
+1"
+#34300
+0"
+#34305
+b10100 *
+1"
+#34310
+0"
+#34315
+b10101 *
+1"
+#34320
+0"
+#34325
+b10110 *
+1"
+#34330
+0"
+#34335
+b10111 *
+1"
+#34340
+0"
+#34345
+b11000 *
+1"
+#34350
+0"
+#34355
+b11001 *
+1"
+#34360
+0"
+#34365
+b11010 *
+1"
+#34370
+0"
+#34375
+b11011 *
+1"
+#34380
+0"
+#34385
+b11100 *
+1"
+#34390
+0"
+#34395
+b11101 *
+1"
+#34400
+0"
+#34405
+b11 +
+b0 *
+1"
+#34410
+0"
+#34415
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#34420
+0"
+#34425
+b10 *
+1"
+#34430
+0"
+#34435
+b100 +
+b0 *
+1"
+#34440
+0"
+#34445
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#34450
+0"
+#34455
+b10 *
+1"
+#34460
+0"
+#34465
+b11 *
+1"
+#34470
+0"
+#34475
+b100 *
+1"
+#34480
+0"
+#34485
+b101 *
+1"
+#34490
+0"
+#34495
+b110 *
+1"
+#34500
+0"
+#34505
+b111 *
+1"
+#34510
+0"
+#34515
+b1000 *
+1"
+#34520
+0"
+#34525
+b1001 *
+1"
+#34530
+0"
+#34535
+b101 +
+b0 *
+1"
+#34540
+0"
+#34545
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#34550
+0"
+#34555
+b10 *
+1"
+#34560
+0"
+#34565
+b1 +
+b0 *
+1"
+#34570
+0"
+#34575
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#34580
+0"
+#34585
+b10 *
+1"
+#34590
+0"
+#34595
+b11 *
+1"
+#34600
+0"
+#34605
+b100 *
+1"
+#34610
+0"
+#34615
+b101 *
+1"
+#34620
+0"
+#34625
+b110 *
+1"
+#34630
+0"
+#34635
+b111 *
+1"
+#34640
+0"
+#34645
+b1000 *
+1"
+#34650
+0"
+#34655
+b1001 *
+1"
+#34660
+0"
+#34665
+b1010 *
+1"
+#34670
+0"
+#34675
+b1011 *
+1"
+#34680
+0"
+#34685
+b1100 *
+1"
+#34690
+0"
+#34695
+b1101 *
+1"
+#34700
+0"
+#34705
+b1110 *
+1"
+#34710
+0"
+#34715
+b1111 *
+1"
+#34720
+0"
+#34725
+b10000 *
+1"
+#34730
+0"
+#34735
+b10001 *
+1"
+#34740
+0"
+#34745
+b10010 *
+1"
+#34750
+0"
+#34755
+b10011 *
+1"
+#34760
+0"
+#34765
+b10100 *
+1"
+#34770
+0"
+#34775
+b10101 *
+1"
+#34780
+0"
+#34785
+b10110 *
+1"
+#34790
+0"
+#34795
+b10111 *
+1"
+#34800
+0"
+b110000 !
+b110000 %
+b110000 $
+#34805
+b11000 *
+1"
+#34810
+0"
+#34815
+b11001 *
+1"
+#34820
+0"
+#34825
+b11010 *
+1"
+#34830
+0"
+#34835
+b11011 *
+1"
+#34840
+0"
+#34845
+b11100 *
+1"
+#34850
+0"
+#34855
+b11101 *
+1"
+#34860
+0"
+#34865
+b11 +
+b0 *
+1"
+#34870
+0"
+#34875
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#34880
+0"
+#34885
+b10 *
+1"
+#34890
+0"
+#34895
+b100 +
+b0 *
+1"
+#34900
+0"
+#34905
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#34910
+0"
+#34915
+b10 *
+1"
+#34920
+0"
+#34925
+b11 *
+1"
+#34930
+0"
+#34935
+b100 *
+1"
+#34940
+0"
+#34945
+b101 *
+1"
+#34950
+0"
+#34955
+b110 *
+1"
+#34960
+0"
+#34965
+b111 *
+1"
+#34970
+0"
+#34975
+b1000 *
+1"
+#34980
+0"
+#34985
+b1001 *
+1"
+#34990
+0"
+#34995
+b101 +
+b0 *
+1"
+#35000
+0"
+#35005
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#35010
+0"
+#35015
+b10 *
+1"
+#35020
+0"
+#35025
+b1 +
+b0 *
+1"
+#35030
+0"
+#35035
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#35040
+0"
+#35045
+b10 *
+1"
+#35050
+0"
+#35055
+b11 *
+1"
+#35060
+0"
+#35065
+b100 *
+1"
+#35070
+0"
+#35075
+b101 *
+1"
+#35080
+0"
+#35085
+b110 *
+1"
+#35090
+0"
+#35095
+b111 *
+1"
+#35100
+0"
+#35105
+b1000 *
+1"
+#35110
+0"
+#35115
+b1001 *
+1"
+#35120
+0"
+#35125
+b1010 *
+1"
+#35130
+0"
+#35135
+b1011 *
+1"
+#35140
+0"
+#35145
+b1100 *
+1"
+#35150
+0"
+#35155
+b1101 *
+1"
+#35160
+0"
+#35165
+b1110 *
+1"
+#35170
+0"
+#35175
+b1111 *
+1"
+#35180
+0"
+#35185
+b10000 *
+1"
+#35190
+0"
+#35195
+b10001 *
+1"
+#35200
+0"
+#35205
+b10010 *
+1"
+#35210
+0"
+#35215
+b10011 *
+1"
+#35220
+0"
+#35225
+b10100 *
+1"
+#35230
+0"
+#35235
+b10101 *
+1"
+#35240
+0"
+#35245
+b10110 *
+1"
+#35250
+0"
+#35255
+b10111 *
+1"
+#35260
+0"
+#35265
+b11000 *
+1"
+#35270
+0"
+#35275
+b11001 *
+1"
+#35280
+0"
+#35285
+b11010 *
+1"
+#35290
+0"
+#35295
+b11011 *
+1"
+#35300
+0"
+#35305
+b11100 *
+1"
+#35310
+0"
+#35315
+b11101 *
+1"
+#35320
+0"
+#35325
+b11 +
+b0 *
+1"
+#35330
+0"
+#35335
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#35340
+0"
+#35345
+b10 *
+1"
+#35350
+0"
+#35355
+b100 +
+b0 *
+1"
+#35360
+0"
+#35365
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#35370
+0"
+#35375
+b10 *
+1"
+#35380
+0"
+#35385
+b11 *
+1"
+#35390
+0"
+#35395
+b100 *
+1"
+#35400
+0"
+b110001 !
+b110001 %
+b110001 $
+#35405
+b101 *
+1"
+#35410
+0"
+#35415
+b110 *
+1"
+#35420
+0"
+#35425
+b111 *
+1"
+#35430
+0"
+#35435
+b1000 *
+1"
+#35440
+0"
+#35445
+b1001 *
+1"
+#35450
+0"
+#35455
+b101 +
+b0 *
+1"
+#35460
+0"
+#35465
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#35470
+0"
+#35475
+b10 *
+1"
+#35480
+0"
+#35485
+b1 +
+b0 *
+1"
+#35490
+0"
+#35495
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#35500
+0"
+#35505
+b10 *
+1"
+#35510
+0"
+#35515
+b11 *
+1"
+#35520
+0"
+#35525
+b100 *
+1"
+#35530
+0"
+#35535
+b101 *
+1"
+#35540
+0"
+#35545
+b110 *
+1"
+#35550
+0"
+#35555
+b111 *
+1"
+#35560
+0"
+#35565
+b1000 *
+1"
+#35570
+0"
+#35575
+b1001 *
+1"
+#35580
+0"
+#35585
+b1010 *
+1"
+#35590
+0"
+#35595
+b1011 *
+1"
+#35600
+0"
+#35605
+b1100 *
+1"
+#35610
+0"
+#35615
+b1101 *
+1"
+#35620
+0"
+#35625
+b1110 *
+1"
+#35630
+0"
+#35635
+b1111 *
+1"
+#35640
+0"
+#35645
+b10000 *
+1"
+#35650
+0"
+#35655
+b10001 *
+1"
+#35660
+0"
+#35665
+b10010 *
+1"
+#35670
+0"
+#35675
+b10011 *
+1"
+#35680
+0"
+#35685
+b10100 *
+1"
+#35690
+0"
+#35695
+b10101 *
+1"
+#35700
+0"
+#35705
+b10110 *
+1"
+#35710
+0"
+#35715
+b10111 *
+1"
+#35720
+0"
+#35725
+b11000 *
+1"
+#35730
+0"
+#35735
+b11001 *
+1"
+#35740
+0"
+#35745
+b11010 *
+1"
+#35750
+0"
+#35755
+b11011 *
+1"
+#35760
+0"
+#35765
+b11100 *
+1"
+#35770
+0"
+#35775
+b11101 *
+1"
+#35780
+0"
+#35785
+b11 +
+b0 *
+1"
+#35790
+0"
+#35795
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#35800
+0"
+#35805
+b10 *
+1"
+#35810
+0"
+#35815
+b100 +
+b0 *
+1"
+#35820
+0"
+#35825
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#35830
+0"
+#35835
+b10 *
+1"
+#35840
+0"
+#35845
+b11 *
+1"
+#35850
+0"
+#35855
+b100 *
+1"
+#35860
+0"
+#35865
+b101 *
+1"
+#35870
+0"
+#35875
+b110 *
+1"
+#35880
+0"
+#35885
+b111 *
+1"
+#35890
+0"
+#35895
+b1000 *
+1"
+#35900
+0"
+#35905
+b1001 *
+1"
+#35910
+0"
+#35915
+b101 +
+b0 *
+1"
+#35920
+0"
+#35925
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#35930
+0"
+#35935
+b10 *
+1"
+#35940
+0"
+#35945
+b1 +
+b0 *
+1"
+#35950
+0"
+#35955
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#35960
+0"
+#35965
+b10 *
+1"
+#35970
+0"
+#35975
+b11 *
+1"
+#35980
+0"
+#35985
+b100 *
+1"
+#35990
+0"
+#35995
+b101 *
+1"
+#36000
+0"
+b110010 $
+#36005
+b110 *
+1"
+#36010
+0"
+#36015
+b111 *
+1"
+#36020
+0"
+#36025
+b1000 *
+1"
+#36030
+0"
+#36035
+b1001 *
+1"
+#36040
+0"
+#36045
+b1010 *
+1"
+#36050
+0"
+#36055
+b1011 *
+1"
+#36060
+0"
+#36065
+b1100 *
+1"
+#36070
+0"
+#36075
+b1101 *
+1"
+#36080
+0"
+#36085
+b1110 *
+1"
+#36090
+0"
+#36095
+b1111 *
+1"
+#36100
+0"
+#36105
+b10000 *
+1"
+#36110
+0"
+#36115
+b10001 *
+1"
+#36120
+0"
+#36125
+b10010 *
+1"
+#36130
+0"
+#36135
+b10011 *
+1"
+#36140
+0"
+#36145
+b10100 *
+1"
+#36150
+0"
+#36155
+b10101 *
+1"
+#36160
+0"
+#36165
+b10110 *
+1"
+#36170
+0"
+#36175
+b10111 *
+1"
+#36180
+0"
+#36185
+b11000 *
+1"
+#36190
+0"
+#36195
+b11001 *
+1"
+#36200
+0"
+#36205
+b11010 *
+1"
+#36210
+0"
+#36215
+b11011 *
+1"
+#36220
+0"
+#36225
+b11100 *
+1"
+#36230
+0"
+#36235
+b11101 *
+1"
+#36240
+0"
+#36245
+b11 +
+b0 *
+1"
+#36250
+0"
+#36255
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#36260
+0"
+#36265
+b10 *
+1"
+#36270
+0"
+#36275
+b100 +
+b0 *
+1"
+#36280
+0"
+#36285
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#36290
+0"
+#36295
+b10 *
+1"
+#36300
+0"
+#36305
+b11 *
+1"
+#36310
+0"
+#36315
+b100 *
+1"
+#36320
+0"
+#36325
+b101 *
+1"
+#36330
+0"
+#36335
+b110 *
+1"
+#36340
+0"
+#36345
+b111 *
+1"
+#36350
+0"
+#36355
+b1000 *
+1"
+#36360
+0"
+#36365
+b1001 *
+1"
+#36370
+0"
+#36375
+b101 +
+b0 *
+1"
+#36380
+0"
+#36385
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#36390
+0"
+#36395
+b10 *
+1"
+#36400
+0"
+#36405
+b1 +
+b0 *
+1"
+#36410
+0"
+#36415
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#36420
+0"
+#36425
+b10 *
+1"
+#36430
+0"
+#36435
+b11 *
+1"
+#36440
+0"
+#36445
+b100 *
+1"
+#36450
+0"
+#36455
+b101 *
+1"
+#36460
+0"
+#36465
+b110 *
+1"
+#36470
+0"
+#36475
+b111 *
+1"
+#36480
+0"
+#36485
+b1000 *
+1"
+#36490
+0"
+#36495
+b1001 *
+1"
+#36500
+0"
+#36505
+b1010 *
+1"
+#36510
+0"
+#36515
+b1011 *
+1"
+#36520
+0"
+#36525
+b1100 *
+1"
+#36530
+0"
+#36535
+b1101 *
+1"
+#36540
+0"
+#36545
+b1110 *
+1"
+#36550
+0"
+#36555
+b1111 *
+1"
+#36560
+0"
+#36565
+b10000 *
+1"
+#36570
+0"
+#36575
+b10001 *
+1"
+#36580
+0"
+#36585
+b10010 *
+1"
+#36590
+0"
+#36595
+b10011 *
+1"
+#36600
+0"
+#36605
+b10100 *
+1"
+#36610
+0"
+#36615
+b10101 *
+1"
+#36620
+0"
+#36625
+b10110 *
+1"
+#36630
+0"
+#36635
+b10111 *
+1"
+#36640
+0"
+#36645
+b11000 *
+1"
+#36650
+0"
+#36655
+b11001 *
+1"
+#36660
+0"
+#36665
+b11010 *
+1"
+#36670
+0"
+#36675
+b11011 *
+1"
+#36680
+0"
+#36685
+b11100 *
+1"
+#36690
+0"
+#36695
+b11101 *
+1"
+#36700
+0"
+#36705
+b11 +
+b0 *
+1"
+#36710
+0"
+#36715
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#36720
+0"
+#36725
+b10 *
+1"
+#36730
+0"
+#36735
+b100 +
+b0 *
+1"
+#36740
+0"
+#36745
+b1 *
+b11 '
+b11 )
+b1 &
+b1 (
+1"
+#36750
+0"
+#36755
+b10 *
+1"
+#36760
+0"
+#36765
+b11 *
+1"
+#36770
+0"
+#36775
+b100 *
+1"
+#36780
+0"
+#36785
+b101 *
+1"
+#36790
+0"
+#36795
+b110 *
+1"
+#36800
+0"
+#36805
+b111 *
+1"
+#36810
+0"
+#36815
+b1000 *
+1"
+#36820
+0"
+#36825
+b1001 *
+1"
+#36830
+0"
+#36835
+b101 +
+b0 *
+1"
+#36840
+0"
+#36845
+b1 *
+b10 '
+b10 )
+b10 &
+b10 (
+1"
+#36850
+0"
+#36855
+b10 *
+1"
+#36860
+0"
+#36865
+b1 +
+b0 *
+1"
+#36870
+0"
+#36875
+b1 *
+b1 '
+b1 )
+b11 &
+b11 (
+1"
+#36880
+0"
+#36885
+b10 *
+1"
+#36890
+0"
+#36895
+b11 *
+1"
+#36900
+0"
+#36905
+b100 *
+1"
+#36910
+0"
+#36915
+b101 *
+1"
+#36920
+0"
+#36925
+b110 *
+1"
+#36930
+0"
+#36935
+b111 *
+1"
+#36940
+0"
+#36945
+b1000 *
+1"
+#36950
+0"
+#36955
+b1001 *
+1"
+#36960
+0"
+#36965
+b1010 *
+1"
+#36970
+0"
+#36975
+b1011 *
+1"
+#36980
+0"
+#36985
+b1100 *
+1"
+#36990
+0"
+#36995
+b1101 *
+1"
+#37000
+0"