s9234.bench.txt

好不容易才从国外网站上下下来的哦

I3761 = NOT(g2505)
g2619 = NOT(I3761)
I3764 = NOT(g2044)
g2622 = NOT(I3764)
I3767 = NOT(g2125)
g2625 = NOT(I3767)
I3770 = NOT(g2145)
g2628 = NOT(I3770)
I3773 = NOT(g2524)
g2631 = NOT(I3773)
I3776 = NOT(g2044)
g2634 = NOT(I3776)
I3779 = NOT(g2125)
g2637 = NOT(I3779)
I3782 = NOT(g2145)
g2640 = NOT(I3782)
I3785 = NOT(g2346)
g2643 = NOT(I3785)
I3788 = NOT(g2554)
g2644 = NOT(I3788)
I3791 = NOT(g2044)
g2647 = NOT(I3791)
I3794 = NOT(g2044)
g2650 = NOT(I3794)
I3797 = NOT(g2125)
g2653 = NOT(I3797)
I3800 = NOT(g2145)
g2656 = NOT(I3800)
I3804 = NOT(g2575)
g2660 = NOT(I3804)
g2663 = NOT(g2308)
I3808 = NOT(g2125)
g2664 = NOT(I3808)
I3811 = NOT(g2145)
g2667 = NOT(I3811)
I3816 = NOT(g2580)
g2672 = NOT(I3816)
I3819 = NOT(g2044)
g2675 = NOT(I3819)
g2678 = NOT(g2312)
I3823 = NOT(g2125)
g2679 = NOT(I3823)
I3826 = NOT(g2145)
g2682 = NOT(I3826)
I3830 = NOT(g2179)
g2686 = NOT(I3830)
I3833 = NOT(g2266)
g2687 = NOT(I3833)
I3836 = NOT(g1832)
g2688 = NOT(I3836)
g2691 = NOT(g2317)
I3840 = NOT(g2125)
g2692 = NOT(I3840)
I3843 = NOT(g2145)
g2695 = NOT(I3843)
I3855 = NOT(g2550)
g2701 = NOT(I3855)
I3858 = NOT(g2197)
g2705 = NOT(I3858)
I3861 = NOT(g1834)
g2706 = NOT(I3861)
I3864 = NOT(g2044)
g2709 = NOT(I3864)
g2712 = NOT(g2320)
I3868 = NOT(g2125)
g2713 = NOT(I3868)
I3871 = NOT(g2145)
g2716 = NOT(I3871)
I3883 = NOT(g2574)
g2722 = NOT(I3883)
I3886 = NOT(g2215)
g2726 = NOT(I3886)
g2727 = NOT(g2324)
I3890 = NOT(g2145)
g2728 = NOT(I3890)
I3902 = NOT(g2576)
g2734 = NOT(I3902)
g2738 = NOT(g2327)
I3906 = NOT(g2234)
g2739 = NOT(I3906)
I3909 = NOT(g2044)
g2740 = NOT(I3909)
g2743 = NOT(g2333)
g2744 = NOT(g2336)
I3923 = NOT(g2581)
g2748 = NOT(I3923)
g2752 = NOT(g2343)
I3927 = NOT(g2245)
g2753 = NOT(I3927)
g2754 = NOT(g2347)
g2755 = NOT(g2350)
g2756 = NOT(g2353)
I3942 = NOT(g1833)
g2760 = NOT(I3942)
g2764 = NOT(g2357)
I3946 = NOT(g2256)
g2765 = NOT(I3946)
g2766 = NOT(g2361)
g2767 = NOT(g2364)
g2768 = NOT(g2367)
I3961 = NOT(g1835)
g2772 = NOT(I3961)
g2776 = NOT(g2378)
I3965 = NOT(g2268)
g2777 = NOT(I3965)
g2778 = NOT(g2391)
g2779 = NOT(g2394)
I3979 = NOT(g1836)
g2783 = NOT(I3979)
g2787 = NOT(g2405)
I3983 = NOT(g2276)
g2788 = NOT(I3983)
g2789 = NOT(g2410)
g2790 = NOT(g2413)
g2792 = NOT(g2416)
I3999 = NOT(g1837)
g2796 = NOT(I3999)
g2800 = NOT(g2430)
I4003 = NOT(g2284)
g2801 = NOT(I4003)
g2802 = NOT(g2437)
g2803 = NOT(g2440)
g2805 = NOT(g2443)
g2806 = NOT(g2446)
I4019 = NOT(g1841)
g2809 = NOT(I4019)
g2813 = NOT(g2457)
I4023 = NOT(g2315)
g2814 = NOT(I4023)
g2817 = NOT(g2461)
g2818 = NOT(g2464)
g2819 = NOT(g2467)
g2820 = NOT(g2470)
I4031 = NOT(g1846)
g2822 = NOT(I4031)
g2826 = NOT(g2481)
g2827 = NOT(g2485)
g2828 = NOT(g2488)
g2829 = NOT(g2491)
g2830 = NOT(g2494)
g2835 = NOT(g2506)
g2836 = NOT(g2509)
g2837 = NOT(g2512)
g2838 = NOT(g2515)
g2839 = NOT(g2535)
g2840 = NOT(g2538)
g2841 = NOT(g2541)
I4050 = NOT(g2059)
g2842 = NOT(I4050)
g2845 = NOT(g2565)
g2849 = NOT(g2577)
g2856 = NOT(g2010)
I4059 = NOT(g1878)
g2857 = NOT(I4059)
I4066 = NOT(g2582)
g2862 = NOT(I4066)
g2863 = NOT(g2296)
g2864 = NOT(g1887)
g2865 = NOT(g2296)
g2866 = NOT(g1905)
g2867 = NOT(g1908)
g2869 = NOT(g2433)
g2870 = NOT(g2296)
g2871 = NOT(g1919)
g2872 = NOT(g1922)
g2874 = NOT(g1849)
g2875 = NOT(g1940)
g2876 = NOT(g1943)
g2877 = NOT(g2434)
g2882 = NOT(g1854)
g2883 = NOT(g1954)
g2884 = NOT(g1957)
g2885 = NOT(g1963)
g2886 = NOT(g1966)
g2887 = NOT(g1858)
g2888 = NOT(g1972)
g2889 = NOT(g1975)
g2890 = NOT(g1875)
g2891 = NOT(g1884)
g2892 = NOT(g1982)
g2893 = NOT(g1985)
g2894 = NOT(g1891)
g2895 = NOT(g1894)
g2902 = NOT(g1899)
g2903 = NOT(g1902)
g2904 = NOT(g1991)
g2905 = NOT(g1994)
g2906 = NOT(g1911)
g2907 = NOT(g1914)
g2912 = NOT(g2001)
g2913 = NOT(g1925)
g2914 = NOT(g1928)
g2915 = NOT(g1931)
g2919 = NOT(g1937)
g2920 = NOT(g1947)
g2921 = NOT(g1950)
g2922 = NOT(g1960)
g2923 = NOT(g1969)
g2927 = NOT(g1979)
g2931 = NOT(g1988)
g2932 = NOT(g1998)
I4123 = NOT(g2043)
g2933 = NOT(I4123)
g2934 = NOT(g2004)
g2936 = NOT(g2026)
I4133 = NOT(g2040)
g2945 = NOT(I4133)
g2946 = NOT(g2296)
g2952 = NOT(g2381)
g2954 = NOT(g2381)
g2956 = NOT(g1861)
g2957 = NOT(g1861)
g2958 = NOT(g1861)
g2959 = NOT(g1861)
g2961 = NOT(g1861)
g2962 = NOT(g2008)
I4166 = NOT(g2390)
g2967 = NOT(I4166)
g2968 = NOT(g2179)
I4170 = NOT(g2157)
g2973 = NOT(I4170)
I4173 = NOT(g2408)
g2974 = NOT(I4173)
I4176 = NOT(g2268)
g2975 = NOT(I4176)
g2976 = NOT(g2197)
g2981 = NOT(g2179)
g2986 = NOT(g2010)
I4189 = NOT(g2159)
g2996 = NOT(I4189)
I4192 = NOT(g1847)
g2997 = NOT(I4192)
I4195 = NOT(g2173)
g2998 = NOT(I4195)
I4198 = NOT(g2276)
g3001 = NOT(I4198)
g3002 = NOT(g2215)
g3007 = NOT(g2197)
I4217 = NOT(g2163)
g3014 = NOT(I4217)
I4220 = NOT(g2164)
g3015 = NOT(I4220)
I4223 = NOT(g2176)
g3016 = NOT(I4223)
I4226 = NOT(g2525)
g3019 = NOT(I4226)
I4229 = NOT(g2284)
g3022 = NOT(I4229)
g3023 = NOT(g2215)
I4240 = NOT(g2165)
g3029 = NOT(I4240)
I4243 = NOT(g1853)
g3030 = NOT(I4243)
I4246 = NOT(g2194)
g3031 = NOT(I4246)
I4249 = NOT(g2525)
g3034 = NOT(I4249)
I4252 = NOT(g2555)
g3037 = NOT(I4252)
I4255 = NOT(g2179)
g3040 = NOT(I4255)
I4258 = NOT(g2169)
g3041 = NOT(I4258)
I4261 = NOT(g1857)
g3042 = NOT(I4261)
I4264 = NOT(g2212)
g3043 = NOT(I4264)
I4267 = NOT(g2525)
g3046 = NOT(I4267)
I4270 = NOT(g2555)
g3049 = NOT(I4270)
I4273 = NOT(g2197)
g3052 = NOT(I4273)
I4276 = NOT(g2170)
g3053 = NOT(I4276)
I4279 = NOT(g2230)
g3054 = NOT(I4279)
I4282 = NOT(g2525)
g3057 = NOT(I4282)
I4285 = NOT(g2555)
g3060 = NOT(I4285)
I4288 = NOT(g2215)
g3063 = NOT(I4288)
I4291 = NOT(g2241)
g3064 = NOT(I4291)
I4294 = NOT(g2525)
g3067 = NOT(I4294)
I4297 = NOT(g2555)
g3070 = NOT(I4297)
I4300 = NOT(g2234)
g3073 = NOT(I4300)
I4303 = NOT(g1897)
g3074 = NOT(I4303)
I4306 = NOT(g1898)
g3075 = NOT(I4306)
I4309 = NOT(g2525)
g3076 = NOT(I4309)
I4312 = NOT(g2555)
g3079 = NOT(I4312)
I4315 = NOT(g2245)
g3082 = NOT(I4315)
I4318 = NOT(g2171)
g3083 = NOT(I4318)
I4321 = NOT(g1917)
g3084 = NOT(I4321)
I4324 = NOT(g1918)
g3085 = NOT(I4324)
I4327 = NOT(g2525)
g3086 = NOT(I4327)
I4331 = NOT(g2555)
g3090 = NOT(I4331)
I4334 = NOT(g2256)
g3093 = NOT(I4334)
I4337 = NOT(g1934)
g3094 = NOT(I4337)
I4340 = NOT(g1935)
g3095 = NOT(I4340)
I4343 = NOT(g2525)
g3096 = NOT(I4343)
I4347 = NOT(g2555)
g3100 = NOT(I4347)
I4351 = NOT(g2233)
g3104 = NOT(I4351)
I4354 = NOT(g1953)
g3108 = NOT(I4354)
I4358 = NOT(g2525)
g3110 = NOT(I4358)
I4362 = NOT(g2555)
g3114 = NOT(I4362)
I4366 = NOT(g2244)
g3118 = NOT(I4366)
I4371 = NOT(g2555)
g3124 = NOT(I4371)
I4375 = NOT(g2254)
g3128 = NOT(I4375)
I4382 = NOT(g2265)
g3136 = NOT(I4382)
I4391 = NOT(g2275)
g3150 = NOT(I4391)
I4398 = NOT(g2086)
g3158 = NOT(I4398)
I4402 = NOT(g2283)
g3162 = NOT(I4402)
I4410 = NOT(g2088)
g3173 = NOT(I4410)
I4414 = NOT(g2090)
g3177 = NOT(I4414)
I4420 = NOT(g2096)
g3183 = NOT(I4420)
I4424 = NOT(g2097)
g3187 = NOT(I4424)
I4429 = NOT(g2102)
g3192 = NOT(I4429)
I4433 = NOT(g2103)
g3196 = NOT(I4433)
g3199 = NOT(g1861)
I4437 = NOT(g2108)
g3200 = NOT(I4437)
I4441 = NOT(g2109)
g3204 = NOT(I4441)
I4452 = NOT(g2117)
g3209 = NOT(I4452)
I4455 = NOT(g2118)
g3212 = NOT(I4455)
I4459 = NOT(g2134)
g3216 = NOT(I4459)
I4462 = NOT(g2135)
g3219 = NOT(I4462)
I4465 = NOT(g2945)
g3222 = NOT(I4465)
I4468 = NOT(g2583)
g3223 = NOT(I4468)
I4471 = NOT(g3040)
g3224 = NOT(I4471)
I4474 = NOT(g3052)
g3225 = NOT(I4474)
I4477 = NOT(g3063)
g3226 = NOT(I4477)
I4480 = NOT(g3073)
g3227 = NOT(I4480)
I4483 = NOT(g3082)
g3228 = NOT(I4483)
I4486 = NOT(g3093)
g3229 = NOT(I4486)
I4489 = NOT(g2975)
g3230 = NOT(I4489)
I4492 = NOT(g3001)
g3231 = NOT(I4492)
I4495 = NOT(g3022)
g3232 = NOT(I4495)
I4498 = NOT(g2686)
g3233 = NOT(I4498)
I4501 = NOT(g2705)
g3234 = NOT(I4501)
I4504 = NOT(g2726)
g3235 = NOT(I4504)
I4507 = NOT(g2739)
g3236 = NOT(I4507)
I4510 = NOT(g2753)
g3237 = NOT(I4510)
I4513 = NOT(g2765)
g3238 = NOT(I4513)
I4516 = NOT(g2777)
g3239 = NOT(I4516)
I4519 = NOT(g2788)
g3240 = NOT(I4519)
I4522 = NOT(g2801)
g3241 = NOT(I4522)
g3242 = NOT(g3083)
g3247 = NOT(g2973)
I4534 = NOT(g2858)
g3251 = NOT(I4534)
I4537 = NOT(g2877)
g3258 = NOT(I4537)
g3259 = NOT(g2996)
g3263 = NOT(g3015)
g3267 = NOT(g3030)
g3271 = NOT(g3042)
g3284 = NOT(g3019)
g3289 = NOT(g3034)
g3291 = NOT(g3037)
g3297 = NOT(g3046)
g3299 = NOT(g3049)
g3306 = NOT(g3057)
g3308 = NOT(g3060)
I4587 = NOT(g2962)
g3312 = NOT(I4587)
I4593 = NOT(g2966)
g3318 = NOT(I4593)
g3320 = NOT(g3067)
g3322 = NOT(g3070)
g3331 = NOT(g3076)
g3332 = NOT(g3079)
g3342 = NOT(g3086)
g3343 = NOT(g3090)
I4623 = NOT(g2962)
g3346 = NOT(I4623)
g3354 = NOT(g3096)
g3355 = NOT(g3100)
g3363 = NOT(g3110)
g3364 = NOT(g3114)
I4646 = NOT(g2602)
g3369 = NOT(I4646)
g3370 = NOT(g3124)
g3380 = NOT(g2831)
g3384 = NOT(g2834)
I4664 = NOT(g2924)
g3387 = NOT(I4664)
I4667 = NOT(g2908)
g3388 = NOT(I4667)
I4671 = NOT(g2928)
g3424 = NOT(I4671)
I4678 = NOT(g2670)
g3440 = NOT(I4678)
I4681 = NOT(g2947)
g3441 = NOT(I4681)
I4684 = NOT(g2687)
g3448 = NOT(I4684)
I4688 = NOT(g3207)
g3450 = NOT(I4688)
g3451 = NOT(g2615)
g3452 = NOT(g2625)
g3453 = NOT(g2628)
g3455 = NOT(g2637)
g3456 = NOT(g2640)
g3457 = NOT(g2653)
g3458 = NOT(g2656)
g3459 = NOT(g2664)
g3460 = NOT(g2667)
g3461 = NOT(g2986)
g3462 = NOT(g2679)
g3463 = NOT(g2682)
g3465 = NOT(g2986)
I4706 = NOT(g2877)
g3466 = NOT(I4706)
g3477 = NOT(g2692)
g3478 = NOT(g2695)
g3480 = NOT(g2986)
g3481 = NOT(g2612)
g3482 = NOT(g2713)
g3483 = NOT(g2716)
g3485 = NOT(g2986)
g3486 = NOT(g2869)
g3487 = NOT(g2622)
g3488 = NOT(g2728)
g3491 = NOT(g2608)
g3498 = NOT(g2634)
g3500 = NOT(g2647)
g3501 = NOT(g2650)
g3504 = NOT(g2675)
g3510 = NOT(g2709)
g3519 = NOT(g2740)
I4743 = NOT(g2594)
g3527 = NOT(I4743)
I4752 = NOT(g2859)
g3534 = NOT(I4752)
I4757 = NOT(g2861)
g3537 = NOT(I4757)
I4762 = NOT(g2862)
g3540 = NOT(I4762)
g3541 = NOT(g2643)
g3545 = NOT(g3085)
g3546 = NOT(g3095)
g3557 = NOT(g2598)
g3559 = NOT(g2603)
g3564 = NOT(g2618)
g3567 = NOT(g3074)
g3571 = NOT(g3084)
I4777 = NOT(g2962)
g3575 = NOT(I4777)
g3589 = NOT(g3094)
g3593 = NOT(g2997)
I4791 = NOT(g2814)
g3600 = NOT(I4791)
I4794 = NOT(g2814)
g3601 = NOT(I4794)
I4799 = NOT(g2967)
g3604 = NOT(I4799)
I4802 = NOT(g2877)
g3605 = NOT(I4802)
I4809 = NOT(g2974)
g3612 = NOT(I4809)
I4821 = NOT(g2877)
g3622 = NOT(I4821)
g3638 = NOT(g3108)
g3673 = NOT(g3075)
g3677 = NOT(g3140)
g3705 = NOT(g3014)
g3710 = NOT(g3029)
g3714 = NOT(g3041)
g3719 = NOT(g3053)
I4903 = NOT(g3223)
g3723 = NOT(I4903)
I4935 = NOT(g3369)
g3752 = NOT(I4935)
g3761 = NOT(g3605)
I4955 = NOT(g3673)
g3766 = NOT(I4955)
g3769 = NOT(g3622)
I4961 = NOT(g3597)
g3770 = NOT(I4961)
I4964 = NOT(g3673)
g3771 = NOT(I4964)
g3772 = NOT(g3466)
g3773 = NOT(g3466)
g3775 = NOT(g3388)
g3776 = NOT(g3466)
g3777 = NOT(g3388)
g3778 = NOT(g3388)
g3779 = NOT(g3466)
I4976 = NOT(g3575)
g3781 = NOT(I4976)
g3782 = NOT(g3388)
I4980 = NOT(g3546)
g3783 = NOT(I4980)
g3785 = NOT(g3466)
g3786 = NOT(g3388)
I4986 = NOT(g3638)
g3787 = NOT(I4986)
g3788 = NOT(g3466)
g3789 = NOT(g3388)
g3790 = NOT(g3388)
g3791 = NOT(g3388)
g3792 = NOT(g3388)
g3793 = NOT(g3491)
g3796 = NOT(g3388)
g3797 = NOT(g3388)
g3798 = NOT(g3388)
g3799 = NOT(g3388)
g3800 = NOT(g3388)
g3801 = NOT(g3388)
g3802 = NOT(g3388)
I5002 = NOT(g3612)
g3803 = NOT(I5002)
I5006 = NOT(g3604)
g3807 = NOT(I5006)
g3813 = NOT(g3258)
I5019 = NOT(g3318)
g3830 = NOT(I5019)
I5023 = NOT(g3263)
g3832 = NOT(I5023)
I5027 = NOT(g3267)
g3834 = NOT(I5027)
I5030 = NOT(g3242)
g3835 = NOT(I5030)
I5033 = NOT(g3527)
g3836 = NOT(I5033)
I5037 = NOT(g3705)
g3838 = NOT(I5037)
I5040 = NOT(g3271)
g3839 = NOT(I5040)
I5043 = NOT(g3247)
g3840 = NOT(I5043)
I5050 = NOT(g3246)
g3845 = NOT(I5050)
I5053 = NOT(g3710)
g3846 = NOT(I5053)
I5056 = NOT(g3567)
g3847 = NOT(I5056)
I5059 = NOT(g3259)
g3848 = NOT(I5059)
I5065 = NOT(g3714)
g3852 = NOT(I5065)
I5068 = NOT(g3571)
g3853 = NOT(I5068)
I5071 = NOT(g3263)
g3854 = NOT(I5071)
I5078 = NOT(g3719)
g3859 = NOT(I5078)
I5081 = NOT(g3589)
g3860 = NOT(I5081)
I5084 = NOT(g3593)
g3861 = NOT(I5084)
I5091 = NOT(g3242)
g3866 = NOT(I5091)
I5094 = NOT(g3705)
g3867 = NOT(I5094)
g3868 = NOT(g3491)
g3872 = NOT(g3312)
I5103 = NOT(g3440)
g3874 = NOT(I5103)
I5106 = NOT(g3247)
g3875 = NOT(I5106)
I5109 = NOT(g3710)
g3876 = NOT(I5109)
I5116 = NOT(g3259)
g3881 = NOT(I5116)
I5119 = NOT(g3714)
g3882 = NOT(I5119)
I5124 = NOT(g3719)
g3885 = NOT(I5124)
g3886 = NOT(g3346)
g3889 = NOT(g3575)
g3890 = NOT(g3575)
g3892 = NOT(g3575)
g3897 = NOT(g3251)
g3898 = NOT(g3575)
g3900 = NOT(g3575)
g3901 = NOT(g3575)
g3902 = NOT(g3575)
g3904 = NOT(g3575)
g3906 = NOT(g3575)
I5148 = NOT(g3450)
g3911 = NOT(I5148)
g3912 = NOT(g3505)
I5153 = NOT(g3330)
g3914 = NOT(I5153)
g3921 = NOT(g3512)
I5157 = NOT(g3454)
g3922 = NOT(I5157)
I5169 = NOT(g3593)
g3932 = NOT(I5169)
I5177 = NOT(g3267)
g3940 = NOT(I5177)
I5182 = NOT(g3271)
g3952 = NOT(I5182)
I5204 = NOT(g3534)
g3960 = NOT(I5204)
I5214 = NOT(g3567)
g3962 = NOT(I5214)
I5217 = NOT(g3673)
g3963 = NOT(I5217)
I5223 = NOT(g3537)
g3967 = NOT(I5223)
I5233 = NOT(g3571)
g3969 = NOT(I5233)
I5236 = NOT(g3545)
g3970 = NOT(I5236)
I5249 = NOT(g3589)
g3975 = NOT(I5249)
I5252 = NOT(g3546)
g3976 = NOT(I5252)
I5264 = NOT(g3638)
g3980 = NOT(I5264)
g3984 = NOT(g3564)
g4003 = NOT(g3441)
g4010 = NOT(g3601)
g4011 = NOT(g3486)
I5316 = NOT(g3557)
g4014 = NOT(I5316)
I5320 = NOT(g3559)
g4016 = NOT(I5320)
I5324 = NOT(g3466)
g4020 = NOT(I5324)
I5328 = NOT(g3502)
g4022 = NOT(I5328)
I5333 = NOT(g3491)
g4034 = NOT(I5333)
I5337 = NOT(g3564)
g4036 = NOT(I5337)
I5343 = NOT(g3599)
g4040 = NOT(I5343)
I5376 = NOT(g4014)
g4098 = NOT(I5376)
I5379 = NOT(g3940)
g4099 = NOT(I5379)
I5382 = NOT(g3952)
g4100 = NOT(I5382)
I5385 = NOT(g3962)
g4101 = NOT(I5385)
I5388 = NOT(g3969)