s9234.bench.txt

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

g4102 = NOT(I5388)
I5391 = NOT(g3975)
g4103 = NOT(I5391)
I5394 = NOT(g4016)
g4104 = NOT(I5394)
I5397 = NOT(g3932)
g4105 = NOT(I5397)
I5400 = NOT(g3963)
g4106 = NOT(I5400)
I5403 = NOT(g3970)
g4107 = NOT(I5403)
I5406 = NOT(g3976)
g4108 = NOT(I5406)
I5409 = NOT(g3980)
g4109 = NOT(I5409)
I5412 = NOT(g4034)
g4110 = NOT(I5412)
I5415 = NOT(g3723)
g4111 = NOT(I5415)
I5418 = NOT(g4036)
g4112 = NOT(I5418)
I5421 = NOT(g3724)
g4113 = NOT(I5421)
I5424 = NOT(g3725)
g4114 = NOT(I5424)
I5427 = NOT(g3726)
g4115 = NOT(I5427)
I5430 = NOT(g3727)
g4116 = NOT(I5430)
I5433 = NOT(g3728)
g4117 = NOT(I5433)
I5436 = NOT(g3729)
g4118 = NOT(I5436)
I5439 = NOT(g3730)
g4119 = NOT(I5439)
I5442 = NOT(g3731)
g4120 = NOT(I5442)
I5445 = NOT(g4040)
g4121 = NOT(I5445)
I5448 = NOT(g3960)
g4122 = NOT(I5448)
I5451 = NOT(g3967)
g4123 = NOT(I5451)
I5454 = NOT(g3874)
g4124 = NOT(I5454)
I5457 = NOT(g3766)
g4125 = NOT(I5457)
I5460 = NOT(g3771)
g4126 = NOT(I5460)
I5463 = NOT(g3783)
g4127 = NOT(I5463)
I5466 = NOT(g3787)
g4128 = NOT(I5466)
I5469 = NOT(g3838)
g4129 = NOT(I5469)
I5472 = NOT(g3846)
g4130 = NOT(I5472)
I5475 = NOT(g3852)
g4131 = NOT(I5475)
I5478 = NOT(g3859)
g4132 = NOT(I5478)
I5481 = NOT(g3866)
g4133 = NOT(I5481)
I5484 = NOT(g3875)
g4134 = NOT(I5484)
I5487 = NOT(g3881)
g4135 = NOT(I5487)
I5490 = NOT(g3832)
g4136 = NOT(I5490)
I5493 = NOT(g3834)
g4137 = NOT(I5493)
I5496 = NOT(g3839)
g4138 = NOT(I5496)
I5499 = NOT(g3847)
g4139 = NOT(I5499)
I5502 = NOT(g3853)
g4140 = NOT(I5502)
I5505 = NOT(g3860)
g4141 = NOT(I5505)
I5508 = NOT(g3867)
g4142 = NOT(I5508)
I5511 = NOT(g3876)
g4143 = NOT(I5511)
I5514 = NOT(g3882)
g4144 = NOT(I5514)
I5517 = NOT(g3885)
g4145 = NOT(I5517)
I5520 = NOT(g3835)
g4146 = NOT(I5520)
I5523 = NOT(g3840)
g4147 = NOT(I5523)
I5526 = NOT(g3848)
g4148 = NOT(I5526)
I5529 = NOT(g3854)
g4149 = NOT(I5529)
I5532 = NOT(g3861)
g4150 = NOT(I5532)
I5542 = NOT(g3984)
g4152 = NOT(I5542)
I5545 = NOT(g3814)
g4153 = NOT(I5545)
I5548 = NOT(g4059)
g4154 = NOT(I5548)
I5551 = NOT(g4059)
g4155 = NOT(I5551)
I5556 = NOT(g4059)
g4158 = NOT(I5556)
I5562 = NOT(g4002)
g4162 = NOT(I5562)
I5568 = NOT(g3897)
g4166 = NOT(I5568)
I5577 = NOT(g4022)
g4173 = NOT(I5577)
I5591 = NOT(g3821)
g4187 = NOT(I5591)
I5594 = NOT(g3821)
g4188 = NOT(I5594)
I5597 = NOT(g3821)
g4189 = NOT(I5597)
I5600 = NOT(g3821)
g4190 = NOT(I5600)
I5603 = NOT(g3893)
g4191 = NOT(I5603)
I5606 = NOT(g3821)
g4192 = NOT(I5606)
I5609 = NOT(g3893)
g4193 = NOT(I5609)
I5612 = NOT(g3910)
g4194 = NOT(I5612)
I5615 = NOT(g3914)
g4195 = NOT(I5615)
I5618 = NOT(g3821)
g4198 = NOT(I5618)
I5622 = NOT(g3914)
g4202 = NOT(I5622)
I5626 = NOT(g3914)
g4206 = NOT(I5626)
I5630 = NOT(g3914)
g4210 = NOT(I5630)
I5633 = NOT(g3768)
g4213 = NOT(I5633)
I5637 = NOT(g3914)
g4215 = NOT(I5637)
I5640 = NOT(g3770)
g4218 = NOT(I5640)
I5644 = NOT(g4059)
g4220 = NOT(I5644)
I5654 = NOT(g3742)
g4222 = NOT(I5654)
g4224 = NOT(g4046)
g4225 = NOT(g4059)
g4226 = NOT(g4050)
g4227 = NOT(g4059)
I5668 = NOT(g3828)
g4228 = NOT(I5668)
g4229 = NOT(g4059)
I5674 = NOT(g4003)
g4232 = NOT(I5674)
I5686 = NOT(g3942)
g4242 = NOT(I5686)
I5692 = NOT(g3942)
g4246 = NOT(I5692)
I5696 = NOT(g3942)
g4248 = NOT(I5696)
I5699 = NOT(g3844)
g4249 = NOT(I5699)
I5702 = NOT(g3845)
g4250 = NOT(I5702)
I5705 = NOT(g3942)
g4251 = NOT(I5705)
I5708 = NOT(g3942)
g4252 = NOT(I5708)
I5713 = NOT(g4022)
g4262 = NOT(I5713)
I5716 = NOT(g3942)
g4265 = NOT(I5716)
I5720 = NOT(g4022)
g4267 = NOT(I5720)
I5723 = NOT(g3942)
g4270 = NOT(I5723)
I5728 = NOT(g4022)
g4273 = NOT(I5728)
I5731 = NOT(g3942)
g4276 = NOT(I5731)
I5736 = NOT(g4022)
g4281 = NOT(I5736)
I5739 = NOT(g3942)
g4284 = NOT(I5739)
I5743 = NOT(g4022)
g4286 = NOT(I5743)
I5746 = NOT(g4022)
g4289 = NOT(I5746)
g4292 = NOT(g4059)
I5750 = NOT(g4022)
g4293 = NOT(I5750)
I5753 = NOT(g4022)
g4296 = NOT(I5753)
I5756 = NOT(g3922)
g4299 = NOT(I5756)
g4302 = NOT(g4068)
I5774 = NOT(g3807)
g4307 = NOT(I5774)
I5777 = NOT(g3807)
g4308 = NOT(I5777)
g4309 = NOT(g4074)
g4314 = NOT(g4080)
g4320 = NOT(g4011)
I5790 = NOT(g3803)
g4321 = NOT(I5790)
I5793 = NOT(g3803)
g4322 = NOT(I5793)
g4323 = NOT(g4086)
g4328 = NOT(g4092)
g4334 = NOT(g3733)
g4343 = NOT(g4011)
g4350 = NOT(g4010)
I5825 = NOT(g3914)
g4364 = NOT(I5825)
I5831 = NOT(g3842)
g4370 = NOT(I5831)
I5837 = NOT(g3850)
g4374 = NOT(I5837)
I5840 = NOT(g3732)
g4375 = NOT(I5840)
I5843 = NOT(g3851)
g4376 = NOT(I5843)
I5848 = NOT(g3856)
g4379 = NOT(I5848)
I5851 = NOT(g3739)
g4380 = NOT(I5851)
I5854 = NOT(g3857)
g4381 = NOT(I5854)
I5857 = NOT(g3740)
g4382 = NOT(I5857)
I5862 = NOT(g3863)
g4385 = NOT(I5862)
I5865 = NOT(g3743)
g4386 = NOT(I5865)
I5868 = NOT(g3864)
g4387 = NOT(I5868)
I5871 = NOT(g3744)
g4388 = NOT(I5871)
I5876 = NOT(g3870)
g4391 = NOT(I5876)
I5879 = NOT(g3745)
g4392 = NOT(I5879)
I5882 = NOT(g3871)
g4393 = NOT(I5882)
I5885 = NOT(g3746)
g4394 = NOT(I5885)
I5890 = NOT(g3878)
g4397 = NOT(I5890)
I5893 = NOT(g3747)
g4398 = NOT(I5893)
I5896 = NOT(g3879)
g4399 = NOT(I5896)
I5899 = NOT(g3748)
g4400 = NOT(I5899)
g4402 = NOT(g4017)
I5904 = NOT(g3749)
g4403 = NOT(I5904)
I5907 = NOT(g3883)
g4404 = NOT(I5907)
I5910 = NOT(g3750)
g4405 = NOT(I5910)
I5913 = NOT(g3751)
g4406 = NOT(I5913)
g4422 = NOT(g4111)
I5920 = NOT(g4228)
g4423 = NOT(I5920)
I5923 = NOT(g4299)
g4424 = NOT(I5923)
I5926 = NOT(g4153)
g4425 = NOT(I5926)
I5929 = NOT(g4152)
g4426 = NOT(I5929)
I5933 = NOT(g4346)
g4428 = NOT(I5933)
I5938 = NOT(g4351)
g4431 = NOT(I5938)
I5944 = NOT(g4356)
g4435 = NOT(I5944)
I5948 = NOT(g4360)
g4437 = NOT(I5948)
I5952 = NOT(g4367)
g4439 = NOT(I5952)
I5977 = NOT(g4319)
g4462 = NOT(I5977)
g4463 = NOT(g4364)
I5987 = NOT(g4224)
g4485 = NOT(I5987)
I5991 = NOT(g4226)
g4487 = NOT(I5991)
I5998 = NOT(g4157)
g4492 = NOT(I5998)
I6001 = NOT(g4162)
g4493 = NOT(I6001)
I6004 = NOT(g4159)
g4494 = NOT(I6004)
I6008 = NOT(g4163)
g4496 = NOT(I6008)
I6012 = NOT(g4167)
g4498 = NOT(I6012)
I6015 = NOT(g4170)
g4499 = NOT(I6015)
I6020 = NOT(g4176)
g4502 = NOT(I6020)
I6023 = NOT(g4151)
g4503 = NOT(I6023)
I6033 = NOT(g4179)
g4507 = NOT(I6033)
I6036 = NOT(g4370)
g4508 = NOT(I6036)
I6039 = NOT(g4182)
g4509 = NOT(I6039)
I6042 = NOT(g4374)
g4510 = NOT(I6042)
I6045 = NOT(g4375)
g4511 = NOT(I6045)
I6048 = NOT(g4376)
g4512 = NOT(I6048)
I6051 = NOT(g4185)
g4513 = NOT(I6051)
I6054 = NOT(g4194)
g4514 = NOT(I6054)
I6057 = NOT(g4379)
g4515 = NOT(I6057)
I6060 = NOT(g4380)
g4516 = NOT(I6060)
I6063 = NOT(g4381)
g4517 = NOT(I6063)
I6066 = NOT(g4382)
g4518 = NOT(I6066)
I6069 = NOT(g4213)
g4519 = NOT(I6069)
I6072 = NOT(g4385)
g4520 = NOT(I6072)
I6075 = NOT(g4386)
g4521 = NOT(I6075)
I6078 = NOT(g4387)
g4522 = NOT(I6078)
I6081 = NOT(g4388)
g4523 = NOT(I6081)
I6084 = NOT(g4391)
g4524 = NOT(I6084)
I6087 = NOT(g4392)
g4525 = NOT(I6087)
I6090 = NOT(g4393)
g4526 = NOT(I6090)
I6093 = NOT(g4394)
g4527 = NOT(I6093)
I6096 = NOT(g4397)
g4528 = NOT(I6096)
I6099 = NOT(g4398)
g4529 = NOT(I6099)
I6102 = NOT(g4399)
g4530 = NOT(I6102)
I6105 = NOT(g4400)
g4531 = NOT(I6105)
I6108 = NOT(g4403)
g4532 = NOT(I6108)
I6111 = NOT(g4404)
g4533 = NOT(I6111)
I6114 = NOT(g4405)
g4534 = NOT(I6114)
g4535 = NOT(g4173)
I6118 = NOT(g4406)
g4536 = NOT(I6118)
g4537 = NOT(g4410)
g4545 = NOT(g4416)
I6126 = NOT(g4240)
g4550 = NOT(I6126)
g4559 = NOT(g4187)
g4560 = NOT(g4188)
g4561 = NOT(g4189)
I6132 = NOT(g4219)
g4562 = NOT(I6132)
g4563 = NOT(g4190)
g4564 = NOT(g4192)
g4565 = NOT(g4195)
g4566 = NOT(g4198)
I6139 = NOT(g4222)
g4567 = NOT(I6139)
I6143 = NOT(g4237)
g4569 = NOT(I6143)
g4577 = NOT(g4202)
g4579 = NOT(g4206)
g4582 = NOT(g4210)
g4587 = NOT(g4215)
g4601 = NOT(g4191)
I6170 = NOT(g4343)
g4603 = NOT(I6170)
g4606 = NOT(g4193)
I6182 = NOT(g4249)
g4609 = NOT(I6182)
g4612 = NOT(g4320)
g4614 = NOT(g4308)
g4615 = NOT(g4322)
g4617 = NOT(g4242)
g4618 = NOT(g4246)
g4619 = NOT(g4248)
g4620 = NOT(g4251)
g4622 = NOT(g4252)
g4623 = NOT(g4262)
g4624 = NOT(g4265)
g4625 = NOT(g4267)
g4626 = NOT(g4270)
g4628 = NOT(g4273)
g4629 = NOT(g4276)
g4632 = NOT(g4281)
g4633 = NOT(g4284)
g4636 = NOT(g4286)
g4639 = NOT(g4289)
g4643 = NOT(g4293)
I6231 = NOT(g4350)
g4644 = NOT(I6231)
g4647 = NOT(g4296)
I6244 = NOT(g4519)
g4657 = NOT(I6244)
I6247 = NOT(g4609)
g4658 = NOT(I6247)
I6250 = NOT(g4514)
g4659 = NOT(I6250)
I6253 = NOT(g4608)
g4660 = NOT(I6253)
g4662 = NOT(g4640)
I6269 = NOT(g4655)
g4679 = NOT(I6269)
I6280 = NOT(g4430)
g4692 = NOT(I6280)
I6283 = NOT(g4613)
g4693 = NOT(I6283)
I6289 = NOT(g4433)
g4699 = NOT(I6289)
I6292 = NOT(g4434)
g4700 = NOT(I6292)
I6296 = NOT(g4436)
g4702 = NOT(I6296)
I6299 = NOT(g4438)
g4703 = NOT(I6299)
I6302 = NOT(g4440)
g4704 = NOT(I6302)
I6305 = NOT(g4441)
g4705 = NOT(I6305)
I6308 = NOT(g4443)
g4706 = NOT(I6308)
I6311 = NOT(g4444)
g4707 = NOT(I6311)
I6315 = NOT(g4446)
g4711 = NOT(I6315)
I6318 = NOT(g4447)
g4712 = NOT(I6318)
I6321 = NOT(g4559)
g4713 = NOT(I6321)
I6324 = NOT(g4450)
g4714 = NOT(I6324)
I6327 = NOT(g4451)
g4715 = NOT(I6327)
I6330 = NOT(g4560)
g4716 = NOT(I6330)
g4717 = NOT(g4465)
I6334 = NOT(g4454)
g4718 = NOT(I6334)
I6337 = NOT(g4455)
g4719 = NOT(I6337)
I6340 = NOT(g4561)
g4720 = NOT(I6340)
I6343 = NOT(g4458)
g4721 = NOT(I6343)
I6346 = NOT(g4563)
g4722 = NOT(I6346)
I6349 = NOT(g4569)
g4723 = NOT(I6349)
I6352 = NOT(g4564)
g4726 = NOT(I6352)
I6355 = NOT(g4569)
g4727 = NOT(I6355)
I6359 = NOT(g4566)
g4731 = NOT(I6359)
I6362 = NOT(g4569)
g4732 = NOT(I6362)
I6366 = NOT(g4569)
g4736 = NOT(I6366)
I6371 = NOT(g4569)
g4741 = NOT(I6371)
I6377 = NOT(g4569)
g4753 = NOT(I6377)
I6382 = NOT(g4460)
g4758 = NOT(I6382)
I6386 = NOT(g4462)
g4760 = NOT(I6386)
I6397 = NOT(g4473)
g4763 = NOT(I6397)
I6400 = NOT(g4473)
g4764 = NOT(I6400)
I6403 = NOT(g4492)
g4765 = NOT(I6403)
I6406 = NOT(g4473)
g4766 = NOT(I6406)
g4767 = NOT(g4601)
I6410 = NOT(g4473)
g4768 = NOT(I6410)
g4769 = NOT(g4606)
I6414 = NOT(g4497)
g4770 = NOT(I6414)
I6417 = NOT(g4617)
g4771 = NOT(I6417)
I6420 = NOT(g4618)
g4772 = NOT(I6420)
I6425 = NOT(g4619)
g4775 = NOT(I6425)
I6430 = NOT(g4620)
g4778 = NOT(I6430)
I6434 = NOT(g4622)
g4780 = NOT(I6434)
I6437 = NOT(g4501)
g4781 = NOT(I6437)
I6441 = NOT(g4624)
g4783 = NOT(I6441)
I6444 = NOT(g4503)
g4784 = NOT(I6444)
I6448 = NOT(g4626)
g4786 = NOT(I6448)
I6452 = NOT(g4629)
g4788 = NOT(I6452)
I6456 = NOT(g4633)
g4790 = NOT(I6456)
I6464 = NOT(g4562)
g4798 = NOT(I6464)
g4799 = NOT(g4485)
g4801 = NOT(g4487)
I6470 = NOT(g4473)
g4802 = NOT(I6470)
g4804 = NOT(g4473)
g4805 = NOT(g4473)
g4806 = NOT(g4473)
g4807 = NOT(g4473)
g4808 = NOT(g4473)
I6485 = NOT(g4603)
g4809 = NOT(I6485)
I6488 = NOT(g4603)
g4810 = NOT(I6488)
I6495 = NOT(g4607)
g4815 = NOT(I6495)
g4822 = NOT(g4614)
I6507 = NOT(g4644)
g4823 = NOT(I6507)
g4824 = NOT(g4615)
g4837 = NOT(g4473)
I6525 = NOT(g4770)
g4839 = NOT(I6525)
I6528 = NOT(g4815)
g4840 = NOT(I6528)
I6531 = NOT(g4704)
g4841 = NOT(I6531)
I6534 = NOT(g4706)
g4842 = NOT(I6534)
I6537 = NOT(g4711)
g4843 = NOT(I6537)
I6540 = NOT(g4714)
g4844 = NOT(I6540)
I6543 = NOT(g4718)
g4845 = NOT(I6543)
I6546 = NOT(g4692)
g4846 = NOT(I6546)
I6549 = NOT(g4699)
g4847 = NOT(I6549)
I6552 = NOT(g4702)
g4848 = NOT(I6552)
I6555 = NOT(g4703)
g4849 = NOT(I6555)
I6558 = NOT(g4705)
g4850 = NOT(I6558)
I6561 = NOT(g4707)
g4851 = NOT(I6561)
I6564 = NOT(g4712)
g4852 = NOT(I6564)
I6567 = NOT(g4715)
g4853 = NOT(I6567)
I6570 = NOT(g4719)
g4854 = NOT(I6570)
I6573 = NOT(g4721)
g4855 = NOT(I6573)
I6576 = NOT(g4700)
g4856 = NOT(I6576)
I6579 = NOT(g4798)
g4857 = NOT(I6579)
I6582 = NOT(g4765)
g4858 = NOT(I6582)
I6587 = NOT(g4803)
g4861 = NOT(I6587)
g4869 = NOT(g4662)
I6599 = NOT(g4823)
g4871 = NOT(I6599)
g4894 = NOT(g4813)
I6607 = NOT(g4745)
g4900 = NOT(I6607)
g4904 = NOT(g4812)
I6612 = NOT(g4660)
g4910 = NOT(I6612)
I6615 = NOT(g4745)
g4911 = NOT(I6615)
g4914 = NOT(g4816)
g4915 = NOT(g4669)
I6621 = NOT(g4745)
g4929 = NOT(I6621)
I6625 = NOT(g4745)
g4933 = NOT(I6625)
I6630 = NOT(g4745)
g4938 = NOT(I6630)
I6635 = NOT(g4745)
g4943 = NOT(I6635)
g4980 = NOT(g4678)
I6646 = NOT(g4687)
g5010 = NOT(I6646)
I6649 = NOT(g4693)
g5011 = NOT(I6649)
I6666 = NOT(g4740)
g5022 = NOT(I6666)
g5025 = NOT(g4814)
I6672 = NOT(g4752)
g5042 = NOT(I6672)
I6677 = NOT(g4757)
g5045 = NOT(I6677)
I6680 = NOT(g4713)
g5046 = NOT(I6680)
I6685 = NOT(g4716)
g5049 = NOT(I6685)
I6689 = NOT(g4758)
g5051 = NOT(I6689)
I6692 = NOT(g4720)
g5052 = NOT(I6692)
g5054 = NOT(g4816)
I6697 = NOT(g4722)
g5059 = NOT(I6697)
I6701 = NOT(g4726)
g5061 = NOT(I6701)
g5063 = NOT(g4799)
I6706 = NOT(g4731)
g5064 = NOT(I6706)
g5067 = NOT(g4801)
g5082 = NOT(g4723)
g5084 = NOT(g4727)
g5086 = NOT(g4732)
g5087 = NOT(g4736)
I6723 = NOT(g4761)
g5089 = NOT(I6723)
g5090 = NOT(g4741)
g5092 = NOT(g4753)
I6733 = NOT(g4773)
g5097 = NOT(I6733)
I6737 = NOT(g4662)
g5099 = NOT(I6737)
I6740 = NOT(g4781)
g5110 = NOT(I6740)
I6750 = NOT(g4771)
g5112 = NOT(I6750)
I6753 = NOT(g4772)
g5113 = NOT(I6753)
I6756 = NOT(g4775)
g5114 = NOT(I6756)
I6759 = NOT(g4778)
g5115 = NOT(I6759)
g5116 = NOT(g4810)
I6763 = NOT(g4780)
g5117 = NOT(I6763)
I6766 = NOT(g4783)
g5118 = NOT(I6766)
I6769 = NOT(g4786)
g5119 = NOT(I6769)
I6772 = NOT(g4788)
g5120 = NOT(I6772)
I6775 = NOT(g4790)
g5121 = NOT(I6775)
I6780 = NOT(g4825)
g5124 = NOT(I6780)
I6783 = NOT(g4822)
g5135 = NOT(I6783)
I6786 = NOT(g4824)
g5136 = NOT(I6786)
I6789 = NOT(g4871)
g5137 = NOT(I6789)
I6792 = NOT(g5097)
g5138 = NOT(I6792)
I6795 = NOT(g5022)
g5139 = NOT(I6795)
I6798 = NOT(g5042)
g5140 = NOT(I6798)
I6801 = NOT(g5045)
g5141 = NOT(I6801)
I6809 = NOT(g5051)
g5147 = NOT(I6809)
I6812 = NOT(g5110)
g5148 = NOT(I6812)
I6816 = NOT(g5111)
g5150 = NOT(I6816)
I6819 = NOT(g5019)
g5151 = NOT(I6819)
g5155 = NOT(g5099)
g5160 = NOT(g5099)
g5168 = NOT(g5099)