s9234.bench.txt

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

g5174 = NOT(g5099)
g5179 = NOT(g5099)
I6867 = NOT(g5082)
g5199 = NOT(I6867)
I6874 = NOT(g4861)
g5210 = NOT(I6874)
I6885 = NOT(g4872)
g5219 = NOT(I6885)
g5220 = NOT(g4903)
I6895 = NOT(g5010)
g5230 = NOT(I6895)
g5237 = NOT(g5083)
g5242 = NOT(g5085)
g5247 = NOT(g4900)
g5248 = NOT(g4911)
g5250 = NOT(g4929)
g5251 = NOT(g5069)
g5255 = NOT(g4933)
g5256 = NOT(g5077)
g5260 = NOT(g4938)
I6918 = NOT(g5124)
g5261 = NOT(I6918)
g5264 = NOT(g4943)
I6923 = NOT(g5124)
g5266 = NOT(I6923)
I6927 = NOT(g5124)
g5270 = NOT(I6927)
I6930 = NOT(g5017)
g5273 = NOT(I6930)
I6933 = NOT(g5124)
g5274 = NOT(I6933)
I6937 = NOT(g5124)
g5278 = NOT(I6937)
I6942 = NOT(g5124)
g5292 = NOT(I6942)
I6946 = NOT(g5124)
g5296 = NOT(I6946)
I6949 = NOT(g5050)
g5299 = NOT(I6949)
I6952 = NOT(g5124)
g5300 = NOT(I6952)
I6956 = NOT(g5124)
g5304 = NOT(I6956)
I6959 = NOT(g5089)
g5307 = NOT(I6959)
g5309 = NOT(g5063)
g5310 = NOT(g5067)
I6972 = NOT(g5135)
g5314 = NOT(I6972)
g5315 = NOT(g5116)
I6976 = NOT(g5136)
g5316 = NOT(I6976)
I6986 = NOT(g5230)
g5328 = NOT(I6986)
I6989 = NOT(g5307)
g5329 = NOT(I6989)
I6992 = NOT(g5151)
g5330 = NOT(I6992)
I6995 = NOT(g5220)
g5331 = NOT(I6995)
I7002 = NOT(g5308)
g5352 = NOT(I7002)
I7007 = NOT(g5314)
g5355 = NOT(I7007)
I7012 = NOT(g5316)
g5358 = NOT(I7012)
I7029 = NOT(g5149)
g5375 = NOT(I7029)
I7035 = NOT(g5150)
g5379 = NOT(I7035)
I7039 = NOT(g5309)
g5381 = NOT(I7039)
I7042 = NOT(g5310)
g5382 = NOT(I7042)
I7045 = NOT(g5167)
g5383 = NOT(I7045)
g5384 = NOT(g5220)
I7051 = NOT(g5219)
g5387 = NOT(I7051)
I7055 = NOT(g5318)
g5391 = NOT(I7055)
I7058 = NOT(g5281)
g5392 = NOT(I7058)
I7061 = NOT(g5281)
g5395 = NOT(I7061)
I7065 = NOT(g5281)
g5399 = NOT(I7065)
I7069 = NOT(g5281)
g5403 = NOT(I7069)
I7073 = NOT(g5281)
g5407 = NOT(I7073)
I7077 = NOT(g5281)
g5411 = NOT(I7077)
I7081 = NOT(g5281)
g5415 = NOT(I7081)
I7086 = NOT(g5281)
g5420 = NOT(I7086)
I7091 = NOT(g5281)
g5425 = NOT(I7091)
I7104 = NOT(g5273)
g5432 = NOT(I7104)
I7107 = NOT(g5277)
g5433 = NOT(I7107)
I7110 = NOT(g5291)
g5434 = NOT(I7110)
I7113 = NOT(g5295)
g5435 = NOT(I7113)
I7116 = NOT(g5299)
g5436 = NOT(I7116)
I7119 = NOT(g5303)
g5437 = NOT(I7119)
g5439 = NOT(g5261)
g5440 = NOT(g5266)
g5442 = NOT(g5270)
g5445 = NOT(g5274)
g5448 = NOT(g5278)
g5450 = NOT(g5292)
g5453 = NOT(g5296)
g5456 = NOT(g5300)
g5457 = NOT(g5304)
I7143 = NOT(g5323)
g5465 = NOT(I7143)
I7146 = NOT(g5231)
g5466 = NOT(I7146)
I7150 = NOT(g5355)
g5468 = NOT(I7150)
I7153 = NOT(g5358)
g5469 = NOT(I7153)
I7161 = NOT(g5465)
g5475 = NOT(I7161)
I7164 = NOT(g5433)
g5476 = NOT(I7164)
I7167 = NOT(g5434)
g5477 = NOT(I7167)
I7170 = NOT(g5435)
g5478 = NOT(I7170)
I7173 = NOT(g5436)
g5479 = NOT(I7173)
I7176 = NOT(g5437)
g5480 = NOT(I7176)
I7187 = NOT(g5387)
g5489 = NOT(I7187)
I7190 = NOT(g5432)
g5490 = NOT(I7190)
I7193 = NOT(g5466)
g5491 = NOT(I7193)
I7197 = NOT(g5431)
g5493 = NOT(I7197)
I7251 = NOT(g5458)
g5509 = NOT(I7251)
I7254 = NOT(g5458)
g5512 = NOT(I7254)
I7258 = NOT(g5458)
g5518 = NOT(I7258)
I7261 = NOT(g5458)
g5521 = NOT(I7261)
I7264 = NOT(g5458)
g5524 = NOT(I7264)
I7267 = NOT(g5458)
g5527 = NOT(I7267)
I7270 = NOT(g5352)
g5530 = NOT(I7270)
I7276 = NOT(g5375)
g5534 = NOT(I7276)
g5536 = NOT(g5467)
g5537 = NOT(g5385)
g5538 = NOT(g5331)
g5539 = NOT(g5331)
I7284 = NOT(g5383)
g5540 = NOT(I7284)
g5542 = NOT(g5331)
g5543 = NOT(g5331)
g5544 = NOT(g5331)
g5545 = NOT(g5331)
g5546 = NOT(g5388)
g5549 = NOT(g5331)
g5550 = NOT(g5331)
I7295 = NOT(g5439)
g5551 = NOT(I7295)
g5554 = NOT(g5455)
g5563 = NOT(g5381)
g5564 = NOT(g5382)
I7318 = NOT(g5452)
g5566 = NOT(I7318)
g5567 = NOT(g5418)
g5568 = NOT(g5423)
g5570 = NOT(g5392)
g5571 = NOT(g5395)
g5572 = NOT(g5399)
g5573 = NOT(g5403)
g5574 = NOT(g5407)
g5575 = NOT(g5411)
g5576 = NOT(g5415)
g5577 = NOT(g5420)
g5578 = NOT(g5425)
I7333 = NOT(g5386)
g5579 = NOT(I7333)
I7336 = NOT(g5534)
g5580 = NOT(I7336)
I7339 = NOT(g5540)
g5581 = NOT(I7339)
I7342 = NOT(g5579)
g5582 = NOT(I7342)
I7346 = NOT(g5531)
g5584 = NOT(I7346)
I7349 = NOT(g5532)
g5587 = NOT(I7349)
I7352 = NOT(g5533)
g5590 = NOT(I7352)
I7355 = NOT(g5535)
g5593 = NOT(I7355)
I7358 = NOT(g5565)
g5596 = NOT(I7358)
I7361 = NOT(g5566)
g5597 = NOT(I7361)
I7372 = NOT(g5493)
g5615 = NOT(I7372)
g5631 = NOT(g5536)
I7397 = NOT(g5561)
g5638 = NOT(I7397)
g5645 = NOT(g5537)
g5647 = NOT(g5509)
I7404 = NOT(g5541)
g5649 = NOT(I7404)
g5658 = NOT(g5512)
g5661 = NOT(g5518)
g5664 = NOT(g5521)
g5667 = NOT(g5524)
g5670 = NOT(g5527)
g5685 = NOT(g5552)
g5687 = NOT(g5567)
g5691 = NOT(g5568)
I7451 = NOT(g5597)
g5692 = NOT(I7451)
I7463 = NOT(g5622)
g5702 = NOT(I7463)
I7466 = NOT(g5624)
g5705 = NOT(I7466)
I7469 = NOT(g5625)
g5708 = NOT(I7469)
I7472 = NOT(g5626)
g5711 = NOT(I7472)
I7475 = NOT(g5627)
g5714 = NOT(I7475)
I7478 = NOT(g5628)
g5717 = NOT(I7478)
I7481 = NOT(g5629)
g5720 = NOT(I7481)
I7484 = NOT(g5630)
g5723 = NOT(I7484)
I7487 = NOT(g5684)
g5726 = NOT(I7487)
I7490 = NOT(g5583)
g5727 = NOT(I7490)
I7494 = NOT(g5691)
g5729 = NOT(I7494)
I7497 = NOT(g5687)
g5730 = NOT(I7497)
I7501 = NOT(g5596)
g5740 = NOT(I7501)
g5741 = NOT(g5602)
g5742 = NOT(g5686)
I7506 = NOT(g5584)
g5751 = NOT(I7506)
I7509 = NOT(g5587)
g5752 = NOT(I7509)
g5770 = NOT(g5645)
I7514 = NOT(g5590)
g5773 = NOT(I7514)
I7517 = NOT(g5593)
g5774 = NOT(I7517)
I7583 = NOT(g5605)
g5784 = NOT(I7583)
g5787 = NOT(g5685)
I7587 = NOT(g5605)
g5788 = NOT(I7587)
I7590 = NOT(g5605)
g5791 = NOT(I7590)
I7593 = NOT(g5605)
g5794 = NOT(I7593)
I7596 = NOT(g5605)
g5797 = NOT(I7596)
I7600 = NOT(g5605)
g5801 = NOT(I7600)
I7604 = NOT(g5605)
g5805 = NOT(I7604)
I7608 = NOT(g5605)
g5809 = NOT(I7608)
I7612 = NOT(g5605)
g5813 = NOT(I7612)
g5824 = NOT(g5631)
g5860 = NOT(g5634)
g5861 = NOT(g5636)
I7634 = NOT(g5727)
g5874 = NOT(I7634)
I7637 = NOT(g5751)
g5875 = NOT(I7637)
I7640 = NOT(g5773)
g5876 = NOT(I7640)
I7643 = NOT(g5752)
g5877 = NOT(I7643)
I7646 = NOT(g5774)
g5878 = NOT(I7646)
g5879 = NOT(g5770)
g5880 = NOT(g5824)
g5884 = NOT(g5864)
g5885 = NOT(g5865)
g5886 = NOT(g5753)
g5887 = NOT(g5742)
g5888 = NOT(g5731)
g5889 = NOT(g5742)
g5890 = NOT(g5753)
g5891 = NOT(g5731)
g5892 = NOT(g5742)
g5893 = NOT(g5753)
g5894 = NOT(g5731)
g5895 = NOT(g5742)
g5896 = NOT(g5753)
g5897 = NOT(g5731)
g5899 = NOT(g5753)
g5901 = NOT(g5753)
g5903 = NOT(g5753)
g5905 = NOT(g5852)
g5908 = NOT(g5753)
g5912 = NOT(g5853)
I7679 = NOT(g5726)
g5915 = NOT(I7679)
I7683 = NOT(g5702)
g5917 = NOT(I7683)
I7686 = NOT(g5705)
g5918 = NOT(I7686)
I7689 = NOT(g5708)
g5919 = NOT(I7689)
I7692 = NOT(g5711)
g5920 = NOT(I7692)
I7695 = NOT(g5714)
g5921 = NOT(I7695)
I7698 = NOT(g5717)
g5922 = NOT(I7698)
I7701 = NOT(g5720)
g5923 = NOT(I7701)
I7704 = NOT(g5723)
g5924 = NOT(I7704)
I7707 = NOT(g5701)
g5925 = NOT(I7707)
g5946 = NOT(g5729)
g5950 = NOT(g5730)
g5957 = NOT(g5866)
g5958 = NOT(g5818)
g5975 = NOT(g5821)
g5992 = NOT(g5869)
g5993 = NOT(g5872)
g5994 = NOT(g5873)
g5995 = NOT(g5824)
g5996 = NOT(g5824)
g5997 = NOT(g5854)
g6014 = NOT(g5824)
g6015 = NOT(g5857)
g6032 = NOT(g5770)
g6033 = NOT(g5824)
g6034 = NOT(g5824)
g6035 = NOT(g5824)
g6036 = NOT(g5824)
g6039 = NOT(g5824)
g6040 = NOT(g5824)
g6043 = NOT(g5824)
g6044 = NOT(g5824)
g6048 = NOT(g5824)
g6051 = NOT(g5824)
g6052 = NOT(g5824)
g6057 = NOT(g5824)
g6062 = NOT(g5824)
g6065 = NOT(g5784)
g6067 = NOT(g5788)
g6069 = NOT(g5791)
g6070 = NOT(g5824)
g6074 = NOT(g5794)
g6076 = NOT(g5797)
g6078 = NOT(g5801)
g6080 = NOT(g5805)
g6083 = NOT(g5809)
g6087 = NOT(g5813)
I7796 = NOT(g5917)
g6100 = NOT(I7796)
I7799 = NOT(g5918)
g6101 = NOT(I7799)
I7802 = NOT(g5920)
g6102 = NOT(I7802)
I7805 = NOT(g5923)
g6103 = NOT(I7805)
I7808 = NOT(g5919)
g6104 = NOT(I7808)
I7811 = NOT(g5921)
g6105 = NOT(I7811)
I7814 = NOT(g5922)
g6106 = NOT(I7814)
I7817 = NOT(g5924)
g6107 = NOT(I7817)
g6115 = NOT(g5879)
g6117 = NOT(g5880)
I7829 = NOT(g5926)
g6119 = NOT(I7829)
I7832 = NOT(g5943)
g6120 = NOT(I7832)
I7835 = NOT(g5926)
g6121 = NOT(I7835)
I7838 = NOT(g5947)
g6122 = NOT(I7838)
I7852 = NOT(g5993)
g6134 = NOT(I7852)
I7856 = NOT(g5994)
g6136 = NOT(I7856)
I7859 = NOT(g6032)
g6137 = NOT(I7859)
I7865 = NOT(g6095)
g6143 = NOT(I7865)
I7871 = NOT(g6097)
g6147 = NOT(I7871)
g6160 = NOT(g5926)
g6161 = NOT(g5926)
g6162 = NOT(g5926)
g6163 = NOT(g5926)
g6164 = NOT(g5926)
g6165 = NOT(g5926)
I7892 = NOT(g5916)
g6166 = NOT(I7892)
g6188 = NOT(g5950)
g6192 = NOT(g5946)
g6193 = NOT(g5957)
I7906 = NOT(g5912)
g6194 = NOT(I7906)
g6211 = NOT(g5992)
I7910 = NOT(g5905)
g6212 = NOT(I7910)
g6229 = NOT(g6036)
g6230 = NOT(g6040)
g6231 = NOT(g6044)
g6232 = NOT(g6048)
g6233 = NOT(g6052)
g6234 = NOT(g6057)
g6235 = NOT(g6062)
g6236 = NOT(g6070)
I7960 = NOT(g5925)
g6276 = NOT(I7960)
I7963 = NOT(g6276)
g6277 = NOT(I7963)
I7966 = NOT(g6166)
g6278 = NOT(I7966)
I7996 = NOT(g6137)
g6282 = NOT(I7996)
I7999 = NOT(g6137)
g6283 = NOT(I7999)
I8002 = NOT(g6110)
g6284 = NOT(I8002)
I8005 = NOT(g6110)
g6285 = NOT(I8005)
I8027 = NOT(g6237)
g6305 = NOT(I8027)
I8030 = NOT(g6239)
g6306 = NOT(I8030)
I8034 = NOT(g6242)
g6308 = NOT(I8034)
I8040 = NOT(g6142)
g6312 = NOT(I8040)
I8044 = NOT(g6252)
g6314 = NOT(I8044)
I8051 = NOT(g6108)
g6319 = NOT(I8051)
I8056 = NOT(g6109)
g6322 = NOT(I8056)
I8061 = NOT(g6113)
g6325 = NOT(I8061)
I8066 = NOT(g6114)
g6328 = NOT(I8066)
I8070 = NOT(g6116)
g6330 = NOT(I8070)
I8074 = NOT(g6118)
g6332 = NOT(I8074)
I8089 = NOT(g6120)
g6337 = NOT(I8089)
I8093 = NOT(g6122)
g6339 = NOT(I8093)
I8103 = NOT(g6134)
g6347 = NOT(I8103)
I8107 = NOT(g6136)
g6351 = NOT(I8107)
I8110 = NOT(g6143)
g6352 = NOT(I8110)
I8113 = NOT(g6147)
g6353 = NOT(I8113)
I8144 = NOT(g6182)
g6360 = NOT(I8144)
I8147 = NOT(g6182)
g6361 = NOT(I8147)
I8150 = NOT(g6185)
g6362 = NOT(I8150)
I8153 = NOT(g6185)
g6363 = NOT(I8153)
I8156 = NOT(g6167)
g6364 = NOT(I8156)
I8159 = NOT(g6167)
g6365 = NOT(I8159)
I8162 = NOT(g6189)
g6366 = NOT(I8162)
I8165 = NOT(g6189)
g6367 = NOT(I8165)
I8168 = NOT(g6170)
g6368 = NOT(I8168)
I8171 = NOT(g6170)
g6369 = NOT(I8171)
I8174 = NOT(g6173)
g6370 = NOT(I8174)
I8177 = NOT(g6173)
g6371 = NOT(I8177)
I8180 = NOT(g6176)
g6372 = NOT(I8180)
I8183 = NOT(g6176)
g6373 = NOT(I8183)
I8186 = NOT(g6179)
g6374 = NOT(I8186)
I8189 = NOT(g6179)
g6375 = NOT(I8189)
g6376 = NOT(g6267)
g6385 = NOT(g6271)
I8217 = NOT(g6319)
g6401 = NOT(I8217)
I8220 = NOT(g6322)
g6402 = NOT(I8220)
I8223 = NOT(g6325)
g6403 = NOT(I8223)
I8226 = NOT(g6328)
g6404 = NOT(I8226)
I8229 = NOT(g6330)
g6405 = NOT(I8229)
I8232 = NOT(g6332)
g6406 = NOT(I8232)
I8235 = NOT(g6312)
g6407 = NOT(I8235)
g6408 = NOT(g6283)
g6409 = NOT(g6285)
I8240 = NOT(g6287)
g6410 = NOT(I8240)
I8243 = NOT(g6286)
g6411 = NOT(I8243)
I8246 = NOT(g6290)
g6412 = NOT(I8246)
I8249 = NOT(g6289)
g6413 = NOT(I8249)
I8252 = NOT(g6294)
g6414 = NOT(I8252)
I8255 = NOT(g6292)
g6415 = NOT(I8255)
I8258 = NOT(g6293)
g6416 = NOT(I8258)
I8261 = NOT(g6298)
g6417 = NOT(I8261)
I8264 = NOT(g6296)
g6418 = NOT(I8264)
I8267 = NOT(g6297)
g6419 = NOT(I8267)
I8270 = NOT(g6300)
g6420 = NOT(I8270)
I8273 = NOT(g6301)
g6421 = NOT(I8273)
I8276 = NOT(g6303)
g6422 = NOT(I8276)
I8279 = NOT(g6307)
g6423 = NOT(I8279)
I8282 = NOT(g6309)
g6424 = NOT(I8282)
I8285 = NOT(g6310)
g6425 = NOT(I8285)
I8290 = NOT(g6291)
g6428 = NOT(I8290)
I8295 = NOT(g6295)
g6431 = NOT(I8295)
I8300 = NOT(g6299)
g6434 = NOT(I8300)
I8309 = NOT(g6304)
g6441 = NOT(I8309)
I8329 = NOT(g6305)
g6465 = NOT(I8329)
I8332 = NOT(g6306)
g6466 = NOT(I8332)
I8335 = NOT(g6308)
g6467 = NOT(I8335)
I8342 = NOT(g6314)
g6478 = NOT(I8342)
g6484 = NOT(g6361)
g6486 = NOT(g6363)
g6487 = NOT(g6365)
g6488 = NOT(g6367)
g6489 = NOT(g6369)
g6490 = NOT(g6371)
g6491 = NOT(g6373)
g6493 = NOT(g6375)
I8411 = NOT(g6415)
g6497 = NOT(I8411)
I8414 = NOT(g6418)
g6498 = NOT(I8414)
I8417 = NOT(g6420)
g6499 = NOT(I8417)
I8420 = NOT(g6422)
g6500 = NOT(I8420)
I8423 = NOT(g6423)
g6501 = NOT(I8423)
I8426 = NOT(g6424)
g6502 = NOT(I8426)
I8429 = NOT(g6425)
g6503 = NOT(I8429)
I8432 = NOT(g6411)
g6504 = NOT(I8432)
I8435 = NOT(g6413)
g6505 = NOT(I8435)
I8438 = NOT(g6416)
g6506 = NOT(I8438)
I8441 = NOT(g6419)
g6507 = NOT(I8441)
I8444 = NOT(g6421)
g6508 = NOT(I8444)
I8447 = NOT(g6410)
g6509 = NOT(I8447)
I8450 = NOT(g6412)
g6510 = NOT(I8450)
I8453 = NOT(g6414)
g6511 = NOT(I8453)
I8456 = NOT(g6417)
g6512 = NOT(I8456)
I8459 = NOT(g6427)
g6513 = NOT(I8459)
I8462 = NOT(g6430)
g6514 = NOT(I8462)
g6515 = NOT(g6408)
g6516 = NOT(g6409)
I8467 = NOT(g6457)
g6517 = NOT(I8467)
I8470 = NOT(g6461)
g6518 = NOT(I8470)
I8473 = NOT(g6485)
g6519 = NOT(I8473)
I8476 = NOT(g6457)
g6520 = NOT(I8476)
I8479 = NOT(g6482)
g6521 = NOT(I8479)
I8482 = NOT(g6461)
g6522 = NOT(I8482)
I8485 = NOT(g6479)
g6523 = NOT(I8485)
I8488 = NOT(g6426)
g6524 = NOT(I8488)
I8491 = NOT(g6480)
g6525 = NOT(I8491)
I8494 = NOT(g6428)
g6526 = NOT(I8494)
I8497 = NOT(g6481)
g6527 = NOT(I8497)
I8500 = NOT(g6431)
g6528 = NOT(I8500)
I8503 = NOT(g6434)
g6529 = NOT(I8503)
I8506 = NOT(g6483)
g6530 = NOT(I8506)
I8509 = NOT(g6437)
g6531 = NOT(I8509)
I8512 = NOT(g6441)
g6532 = NOT(I8512)
I8515 = NOT(g6492)
g6533 = NOT(I8515)
I8518 = NOT(g6494)
g6534 = NOT(I8518)
I8521 = NOT(g6495)
g6535 = NOT(I8521)
I8524 = NOT(g6496)
g6536 = NOT(I8524)
I8527 = NOT(g6440)
g6537 = NOT(I8527)
g6538 = NOT(g6469)
I8531 = NOT(g6444)
g6539 = NOT(I8531)
g6540 = NOT(g6474)
I8535 = NOT(g6447)
g6541 = NOT(I8535)
I8538 = NOT(g6450)
g6542 = NOT(I8538)
I8541 = NOT(g6452)
g6543 = NOT(I8541)
I8544 = NOT(g6453)
g6544 = NOT(I8544)
I8548 = NOT(g6454)
g6548 = NOT(I8548)
I8552 = NOT(g6455)
g6552 = NOT(I8552)
I8555 = NOT(g6456)
g6553 = NOT(I8555)
I8564 = NOT(g6429)
g6560 = NOT(I8564)
I