%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : SYO580+1 : TPTP v8.1.2. Released v5.5.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n005.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 12:38:12 EDT 2023

% Result   : Theorem 0.61s 1.38s
% Output   : Proof 0.61s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : SYO580+1 : TPTP v8.1.2. Released v5.5.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n005.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Thu May 18 18:39:53 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 0.61/1.38  
% 0.61/1.38  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 0.61/1.38  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.61/1.38  %-----------------------------------------------------
% 0.61/1.38  ncf(matrix, plain, [(5847 ^ _495855) ^ [] : [5848 ^ _495855 : [(5849 ^ _495855) ^ [] : [-(b48_buttercup10305(5845 ^ []))], (5851 ^ _495855) ^ [] : [k04_buttercup10303(5845 ^ [])]], 5852 ^ _495855 : [(5853 ^ _495855) ^ [] : [-(k04_buttercup10303(5845 ^ []))], (5855 ^ _495855) ^ [] : [b48_buttercup10305(5845 ^ [])]]], (5857 ^ _495855) ^ [] : [5859 ^ _495855 : [(5860 ^ _495855) ^ [] : [-(k04_buttercup10303(5858 ^ []))], (5862 ^ _495855) ^ [] : [b48_buttercup10305(5858 ^ [])]], 5863 ^ _495855 : [(5864 ^ _495855) ^ [_683512] : [b48_buttercup10305(_683512), -(k04_buttercup10303(_683512))]]], (5884 ^ _495855) ^ [] : [-(b48_buttercup10305(5882 ^ []))], (5886 ^ _495855) ^ [] : [-(k04_buttercup10303(5882 ^ []))], (5870 ^ _495855) ^ [] : [5872 ^ _495855 : [(5873 ^ _495855) ^ [] : [-(b48_buttercup10305(5871 ^ []))], (5875 ^ _495855) ^ [] : [k04_buttercup10303(5871 ^ [])]], 5876 ^ _495855 : [(5877 ^ _495855) ^ [_683864] : [k04_buttercup10303(_683864), -(b48_buttercup10305(_683864))]]], (2 ^ _495855) ^ [_495954] : [k04_buttercup10049(_495954), -(k04_buttercup10048(_495954))], (8 ^ _495855) ^ [_496140] : [k04_buttercup10051(_496140), -(k04_buttercup10048(_496140))], (14 ^ _495855) ^ [_496326] : [k04_buttercup10096(_496326), -(k04_buttercup10095(_496326))], (20 ^ _495855) ^ [_496512] : [k04_buttercup10097(_496512), -(k04_buttercup10095(_496512))], (26 ^ _495855) ^ [_496698] : [k04_buttercup10342(_496698), -(k04_buttercup10337(_496698))], (32 ^ _495855) ^ [_496884] : [k04_buttercup10347(_496884), -(k04_buttercup10337(_496884))], (38 ^ _495855) ^ [_497070] : [k04_buttercup10351(_497070), -(k04_buttercup10337(_497070))], (44 ^ _495855) ^ [_497256] : [k04_buttercup10453(_497256), -(k04_buttercup10449(_497256))], (50 ^ _495855) ^ [_497442] : [k04_buttercup10462(_497442), -(k04_buttercup10449(_497442))], (56 ^ _495855) ^ [_497628] : [k04_buttercup10464(_497628), -(k04_buttercup10449(_497628))], (62 ^ _495855) ^ [_497814] : [k04_buttercup10482(_497814), -(k04_buttercup10477(_497814))], (68 ^ _495855) ^ [_498000] : [k04_buttercup10486(_498000), -(k04_buttercup10477(_498000))], (74 ^ _495855) ^ [_498186] : [k04_buttercup10546(_498186), -(k04_buttercup10544(_498186))], (80 ^ _495855) ^ [_498372] : [k04_buttercup10547(_498372), -(k04_buttercup10544(_498372))], (86 ^ _495855) ^ [_498558] : [k04_buttercup10406(_498558), -(k04_buttercup10404(_498558))], (92 ^ _495855) ^ [_498744] : [k04_buttercup10408(_498744), -(k04_buttercup10404(_498744))], (98 ^ _495855) ^ [_498930] : [k04_buttercup10599(_498930), -(k04_buttercup10593(_498930))], (104 ^ _495855) ^ [_499116] : [k04_buttercup10602(_499116), -(k04_buttercup10593(_499116))], (110 ^ _495855) ^ [_499302] : [k04_buttercup10236(_499302), -(k04_buttercup10234(_499302))], (116 ^ _495855) ^ [_499488] : [k04_buttercup10238(_499488), -(k04_buttercup10234(_499488))], (122 ^ _495855) ^ [_499674] : [k04_buttercup10371(_499674), -(k04_buttercup10369(_499674))], (128 ^ _495855) ^ [_499860] : [k04_buttercup10373(_499860), -(k04_buttercup10369(_499860))], (134 ^ _495855) ^ [_500046] : [k04_buttercup10376(_500046), -(k04_buttercup10369(_500046))], (140 ^ _495855) ^ [_500232] : [k04_buttercup10296(_500232), -(k04_buttercup10293(_500232))], (146 ^ _495855) ^ [_500418] : [k04_buttercup10298(_500418), -(k04_buttercup10293(_500418))], (152 ^ _495855) ^ [_500604] : [k04_buttercup10637(_500604), -(k04_buttercup10635(_500604))], (158 ^ _495855) ^ [_500790] : [k04_buttercup10639(_500790), -(k04_buttercup10635(_500790))], (164 ^ _495855) ^ [_500976] : [k04_buttercup10641(_500976), -(k04_buttercup10635(_500976))], (170 ^ _495855) ^ [_501162] : [k04_buttercup10028(_501162), -(k04_buttercup10026(_501162))], (176 ^ _495855) ^ [_501348] : [k04_buttercup10033(_501348), -(k04_buttercup10026(_501348))], (182 ^ _495855) ^ [_501534] : [k04_buttercup10425(_501534), -(k04_buttercup10424(_501534))], (188 ^ _495855) ^ [_501720] : [k04_buttercup10206(_501720), -(k04_buttercup10204(_501720))], (194 ^ _495855) ^ [_501906] : [k04_buttercup10213(_501906), -(k04_buttercup10204(_501906))], (200 ^ _495855) ^ [_502092] : [k04_buttercup10219(_502092), -(k04_buttercup10204(_502092))], (206 ^ _495855) ^ [_502278] : [k04_buttercup10061(_502278), -(k04_buttercup10057(_502278))], (212 ^ _495855) ^ [_502464] : [k04_buttercup10064(_502464), -(k04_buttercup10057(_502464))], (218 ^ _495855) ^ [_502650] : [k04_buttercup10067(_502650), -(k04_buttercup10057(_502650))], (224 ^ _495855) ^ [_502836] : [k04_buttercup10074(_502836), -(k04_buttercup10057(_502836))], (230 ^ _495855) ^ [_503022] : [k04_buttercup10559(_503022), -(k04_buttercup10555(_503022))], (236 ^ _495855) ^ [_503208] : [k04_buttercup10620(_503208), -(k04_buttercup10619(_503208))], (242 ^ _495855) ^ [_503394] : [k04_buttercup10622(_503394), -(k04_buttercup10619(_503394))], (248 ^ _495855) ^ [_503580] : [k04_buttercup10506(_503580), -(k04_buttercup10504(_503580))], (254 ^ _495855) ^ [_503766] : [k04_buttercup10142(_503766), -(k04_buttercup10139(_503766))], (260 ^ _495855) ^ [_503952] : [k04_buttercup10517(_503952), -(k04_buttercup10516(_503952))], (266 ^ _495855) ^ [_504138] : [k04_buttercup10184(_504138), -(k04_buttercup10012(_504138))], (272 ^ _495855) ^ [_504324] : [k04_buttercup10190(_504324), -(k04_buttercup10012(_504324))], (278 ^ _495855) ^ [_504510] : [k04_buttercup10200(_504510), -(k04_buttercup10012(_504510))], (284 ^ _495855) ^ [_504696] : [k04_buttercup10204(_504696), -(k04_buttercup10012(_504696))], (290 ^ _495855) ^ [_504882] : [k04_buttercup10221(_504882), -(k04_buttercup10012(_504882))], (296 ^ _495855) ^ [_505068] : [k04_buttercup10225(_505068), -(k04_buttercup10012(_505068))], (302 ^ _495855) ^ [_505254] : [k04_buttercup10234(_505254), -(k04_buttercup10012(_505254))], (308 ^ _495855) ^ [_505440] : [k04_buttercup10244(_505440), -(k04_buttercup10012(_505440))], (314 ^ _495855) ^ [_505626] : [k04_buttercup10252(_505626), -(k04_buttercup10012(_505626))], (320 ^ _495855) ^ [_505812] : [k04_buttercup10282(_505812), -(k04_buttercup10012(_505812))], (326 ^ _495855) ^ [_505998] : [k04_buttercup10293(_505998), -(k04_buttercup10012(_505998))], (332 ^ _495855) ^ [_506184] : [k04_buttercup10303(_506184), -(k04_buttercup10012(_506184))], (338 ^ _495855) ^ [_506370] : [k04_buttercup10312(_506370), -(k04_buttercup10012(_506370))], (344 ^ _495855) ^ [_506556] : [k04_buttercup10316(_506556), -(k04_buttercup10012(_506556))], (350 ^ _495855) ^ [_506742] : [k04_buttercup10325(_506742), -(k04_buttercup10012(_506742))], (356 ^ _495855) ^ [_506928] : [k04_buttercup10329(_506928), -(k04_buttercup10012(_506928))], (362 ^ _495855) ^ [_507114] : [k04_buttercup10333(_507114), -(k04_buttercup10012(_507114))], (368 ^ _495855) ^ [_507300] : [k04_buttercup10337(_507300), -(k04_buttercup10012(_507300))], (374 ^ _495855) ^ [_507486] : [k04_buttercup10356(_507486), -(k04_buttercup10012(_507486))], (380 ^ _495855) ^ [_507672] : [k04_buttercup10016(_507672), -(k04_buttercup10012(_507672))], (386 ^ _495855) ^ [_507858] : [k04_buttercup10026(_507858), -(k04_buttercup10012(_507858))], (392 ^ _495855) ^ [_508044] : [k04_buttercup10039(_508044), -(k04_buttercup10012(_508044))], (398 ^ _495855) ^ [_508230] : [k04_buttercup10048(_508230), -(k04_buttercup10012(_508230))], (404 ^ _495855) ^ [_508416] : [k04_buttercup10053(_508416), -(k04_buttercup10012(_508416))], (410 ^ _495855) ^ [_508602] : [k04_buttercup10057(_508602), -(k04_buttercup10012(_508602))], (416 ^ _495855) ^ [_508788] : [k04_buttercup10079(_508788), -(k04_buttercup10012(_508788))], (422 ^ _495855) ^ [_508974] : [k04_buttercup10084(_508974), -(k04_buttercup10012(_508974))], (428 ^ _495855) ^ [_509160] : [k04_buttercup10089(_509160), -(k04_buttercup10012(_509160))], (434 ^ _495855) ^ [_509346] : [k04_buttercup10095(_509346), -(k04_buttercup10012(_509346))], (440 ^ _495855) ^ [_509532] : [k04_buttercup10100(_509532), -(k04_buttercup10012(_509532))], (446 ^ _495855) ^ [_509718] : [k04_buttercup10117(_509718), -(k04_buttercup10012(_509718))], (452 ^ _495855) ^ [_509904] : [k04_buttercup10125(_509904), -(k04_buttercup10012(_509904))], (458 ^ _495855) ^ [_510090] : [k04_buttercup10132(_510090), -(k04_buttercup10012(_510090))], (464 ^ _495855) ^ [_510276] : [k04_buttercup10135(_510276), -(k04_buttercup10012(_510276))], (470 ^ _495855) ^ [_510462] : [k04_buttercup10139(_510462), -(k04_buttercup10012(_510462))], (476 ^ _495855) ^ [_510648] : [k04_buttercup10147(_510648), -(k04_buttercup10012(_510648))], (482 ^ _495855) ^ [_510834] : [k04_buttercup10153(_510834), -(k04_buttercup10012(_510834))], (488 ^ _495855) ^ [_511020] : [k04_buttercup10164(_511020), -(k04_buttercup10012(_511020))], (494 ^ _495855) ^ [_511206] : [k04_buttercup10172(_511206), -(k04_buttercup10012(_511206))], (500 ^ _495855) ^ [_511392] : [k04_buttercup10181(_511392), -(k04_buttercup10012(_511392))], (506 ^ _495855) ^ [_511578] : [k04_buttercup10364(_511578), -(k04_buttercup10012(_511578))], (512 ^ _495855) ^ [_511764] : [k04_buttercup10369(_511764), -(k04_buttercup10012(_511764))], (518 ^ _495855) ^ [_511950] : [k04_buttercup10380(_511950), -(k04_buttercup10012(_511950))], (524 ^ _495855) ^ [_512136] : [k04_buttercup10382(_512136), -(k04_buttercup10012(_512136))], (530 ^ _495855) ^ [_512322] : [k04_buttercup10385(_512322), -(k04_buttercup10012(_512322))], (536 ^ _495855) ^ [_512508] : [k04_buttercup10389(_512508), -(k04_buttercup10012(_512508))], (542 ^ _495855) ^ [_512694] : [k04_buttercup10391(_512694), -(k04_buttercup10012(_512694))], (548 ^ _495855) ^ [_512880] : [k04_buttercup10397(_512880), -(k04_buttercup10012(_512880))], (554 ^ _495855) ^ [_513066] : [k04_buttercup10400(_513066), -(k04_buttercup10012(_513066))], (560 ^ _495855) ^ [_513252] : [k04_buttercup10404(_513252), -(k04_buttercup10012(_513252))], (566 ^ _495855) ^ [_513438] : [k04_buttercup10415(_513438), -(k04_buttercup10012(_513438))], (572 ^ _495855) ^ [_513624] : [k04_buttercup10419(_513624), -(k04_buttercup10012(_513624))], (578 ^ _495855) ^ [_513810] : [k04_buttercup10424(_513810), -(k04_buttercup10012(_513810))], (584 ^ _495855) ^ [_513996] : [k04_buttercup10430(_513996), -(k04_buttercup10012(_513996))], (590 ^ _495855) ^ [_514182] : [k04_buttercup10437(_514182), -(k04_buttercup10012(_514182))], (596 ^ _495855) ^ [_514368] : [k04_buttercup10445(_514368), -(k04_buttercup10012(_514368))], (602 ^ _495855) ^ [_514554] : [k04_buttercup10449(_514554), -(k04_buttercup10012(_514554))], (608 ^ _495855) ^ [_514740] : [k04_buttercup10470(_514740), -(k04_buttercup10012(_514740))], (614 ^ _495855) ^ [_514926] : [k04_buttercup10473(_514926), -(k04_buttercup10012(_514926))], (620 ^ _495855) ^ [_515112] : [k04_buttercup10477(_515112), -(k04_buttercup10012(_515112))], (626 ^ _495855) ^ [_515298] : [k04_buttercup10492(_515298), -(k04_buttercup10012(_515298))], (632 ^ _495855) ^ [_515484] : [k04_buttercup10495(_515484), -(k04_buttercup10012(_515484))], (638 ^ _495855) ^ [_515670] : [k04_buttercup10499(_515670), -(k04_buttercup10012(_515670))], (644 ^ _495855) ^ [_515856] : [k04_buttercup10504(_515856), -(k04_buttercup10012(_515856))], (650 ^ _495855) ^ [_516042] : [k04_buttercup10510(_516042), -(k04_buttercup10012(_516042))], (656 ^ _495855) ^ [_516228] : [k04_buttercup10516(_516228), -(k04_buttercup10012(_516228))], (662 ^ _495855) ^ [_516414] : [k04_buttercup10524(_516414), -(k04_buttercup10012(_516414))], (668 ^ _495855) ^ [_516600] : [k04_buttercup10529(_516600), -(k04_buttercup10012(_516600))], (674 ^ _495855) ^ [_516786] : [k04_buttercup10535(_516786), -(k04_buttercup10012(_516786))], (680 ^ _495855) ^ [_516972] : [k04_buttercup10544(_516972), -(k04_buttercup10012(_516972))], (686 ^ _495855) ^ [_517158] : [k04_buttercup10551(_517158), -(k04_buttercup10012(_517158))], (692 ^ _495855) ^ [_517344] : [k04_buttercup10555(_517344), -(k04_buttercup10012(_517344))], (698 ^ _495855) ^ [_517530] : [k04_buttercup10567(_517530), -(k04_buttercup10012(_517530))], (704 ^ _495855) ^ [_517716] : [k04_buttercup10578(_517716), -(k04_buttercup10012(_517716))], (710 ^ _495855) ^ [_517902] : [k04_buttercup10581(_517902), -(k04_buttercup10012(_517902))], (716 ^ _495855) ^ [_518088] : [k04_buttercup10586(_518088), -(k04_buttercup10012(_518088))], (722 ^ _495855) ^ [_518274] : [k04_buttercup10593(_518274), -(k04_buttercup10012(_518274))], (728 ^ _495855) ^ [_518460] : [k04_buttercup10608(_518460), -(k04_buttercup10012(_518460))], (734 ^ _495855) ^ [_518646] : [k04_buttercup10611(_518646), -(k04_buttercup10012(_518646))], (740 ^ _495855) ^ [_518832] : [k04_buttercup10619(_518832), -(k04_buttercup10012(_518832))], (746 ^ _495855) ^ [_519018] : [k04_buttercup10626(_519018), -(k04_buttercup10012(_519018))], (752 ^ _495855) ^ [_519204] : [k04_buttercup10628(_519204), -(k04_buttercup10012(_519204))], (758 ^ _495855) ^ [_519390] : [k04_buttercup10631(_519390), -(k04_buttercup10012(_519390))], (764 ^ _495855) ^ [_519576] : [k04_buttercup10635(_519576), -(k04_buttercup10012(_519576))], (770 ^ _495855) ^ [_519762] : [k04_buttercup10643(_519762), -(k04_buttercup10012(_519762))], (776 ^ _495855) ^ [_519948] : [b48_buttercup10050(_519948), -(b48_buttercup10046(_519948))], (782 ^ _495855) ^ [_520134] : [b48_buttercup10052(_520134), -(b48_buttercup10046(_520134))], (788 ^ _495855) ^ [_520320] : [b48_buttercup10305(_520320), -(b48_buttercup10300(_520320))], (794 ^ _495855) ^ [_520506] : [b48_buttercup10307(_520506), -(b48_buttercup10300(_520506))], (800 ^ _495855) ^ [_520692] : [b48_buttercup10308(_520692), -(b48_buttercup10300(_520692))], (806 ^ _495855) ^ [_520878] : [b48_buttercup10227(_520878), -(b48_buttercup10222(_520878))], (812 ^ _495855) ^ [_521064] : [b48_buttercup10228(_521064), -(b48_buttercup10222(_521064))], (818 ^ _495855) ^ [_521250] : [b48_buttercup10229(_521250), -(b48_buttercup10222(_521250))], (824 ^ _495855) ^ [_521436] : [b48_buttercup10191(_521436), -(b48_buttercup10186(_521436))], (830 ^ _495855) ^ [_521622] : [b48_buttercup10193(_521622), -(b48_buttercup10186(_521622))], (836 ^ _495855) ^ [_521808] : [b48_buttercup10195(_521808), -(b48_buttercup10186(_521808))], (842 ^ _495855) ^ [_521994] : [b48_buttercup10133(_521994), -(b48_buttercup10130(_521994))], (848 ^ _495855) ^ [_522180] : [b48_buttercup10134(_522180), -(b48_buttercup10130(_522180))], (854 ^ _495855) ^ [_522366] : [b48_buttercup10343(_522366), -(b48_buttercup10334(_522366))], (860 ^ _495855) ^ [_522552] : [b48_buttercup10344(_522552), -(b48_buttercup10334(_522552))], (866 ^ _495855) ^ [_522738] : [b48_buttercup10348(_522738), -(b48_buttercup10334(_522738))], (872 ^ _495855) ^ [_522924] : [b48_buttercup10352(_522924), -(b48_buttercup10334(_522924))], (878 ^ _495855) ^ [_523110] : [b48_buttercup10267(_523110), -(b48_buttercup10266(_523110))], (884 ^ _495855) ^ [_523296] : [b48_buttercup10268(_523296), -(b48_buttercup10266(_523296))], (890 ^ _495855) ^ [_523482] : [b48_buttercup10102(_523482), -(b48_buttercup10098(_523482))], (896 ^ _495855) ^ [_523668] : [b48_buttercup10104(_523668), -(b48_buttercup10098(_523668))], (902 ^ _495855) ^ [_523854] : [b48_buttercup10107(_523854), -(b48_buttercup10098(_523854))], (908 ^ _495855) ^ [_524040] : [b48_buttercup10108(_524040), -(b48_buttercup10098(_524040))], (914 ^ _495855) ^ [_524226] : [b48_buttercup10109(_524226), -(b48_buttercup10098(_524226))], (920 ^ _495855) ^ [_524412] : [b48_buttercup10110(_524412), -(b48_buttercup10098(_524412))], (926 ^ _495855) ^ [_524598] : [b48_buttercup10111(_524598), -(b48_buttercup10098(_524598))], (932 ^ _495855) ^ [_524784] : [b48_buttercup10441(_524784), -(b48_buttercup10440(_524784))], (938 ^ _495855) ^ [_524970] : [b48_buttercup10442(_524970), -(b48_buttercup10440(_524970))], (944 ^ _495855) ^ [_525156] : [b48_buttercup10478(_525156), -(b48_buttercup10474(_525156))], (950 ^ _495855) ^ [_525342] : [b48_buttercup10479(_525342), -(b48_buttercup10474(_525342))], (956 ^ _495855) ^ [_525528] : [b48_buttercup10483(_525528), -(b48_buttercup10474(_525528))], (962 ^ _495855) ^ [_525714] : [b48_buttercup10487(_525714), -(b48_buttercup10474(_525714))], (968 ^ _495855) ^ [_525900] : [b48_buttercup10489(_525900), -(b48_buttercup10474(_525900))], (974 ^ _495855) ^ [_526086] : [b48_buttercup10545(_526086), -(b48_buttercup10542(_526086))], (980 ^ _495855) ^ [_526272] : [b48_buttercup10548(_526272), -(b48_buttercup10542(_526272))], (986 ^ _495855) ^ [_526458] : [b48_buttercup10275(_526458), -(b48_buttercup10274(_526458))], (992 ^ _495855) ^ [_526644] : [b48_buttercup10276(_526644), -(b48_buttercup10274(_526644))], (998 ^ _495855) ^ [_526830] : [b48_buttercup10277(_526830), -(b48_buttercup10274(_526830))], (1004 ^ _495855) ^ [_527016] : [b48_buttercup10278(_527016), -(b48_buttercup10274(_527016))], (1010 ^ _495855) ^ [_527202] : [b48_buttercup10405(_527202), -(b48_buttercup10402(_527202))], (1016 ^ _495855) ^ [_527388] : [b48_buttercup10410(_527388), -(b48_buttercup10402(_527388))], (1022 ^ _495855) ^ [_527574] : [b48_buttercup10166(_527574), -(b48_buttercup10161(_527574))], (1028 ^ _495855) ^ [_527760] : [b48_buttercup10167(_527760), -(b48_buttercup10161(_527760))], (1034 ^ _495855) ^ [_527946] : [b48_buttercup10169(_527946), -(b48_buttercup10161(_527946))], (1040 ^ _495855) ^ [_528132] : [b48_buttercup10119(_528132), -(b48_buttercup10115(_528132))], (1046 ^ _495855) ^ [_528318] : [b48_buttercup10120(_528318), -(b48_buttercup10115(_528318))], (1052 ^ _495855) ^ [_528504] : [b48_buttercup10596(_528504), -(b48_buttercup10589(_528504))], (1058 ^ _495855) ^ [_528690] : [b48_buttercup10604(_528690), -(b48_buttercup10589(_528690))], (1064 ^ _495855) ^ [_528876] : [b48_buttercup10370(_528876), -(b48_buttercup10367(_528876))], (1070 ^ _495855) ^ [_529062] : [b48_buttercup10374(_529062), -(b48_buttercup10367(_529062))], (1076 ^ _495855) ^ [_529248] : [b48_buttercup10377(_529248), -(b48_buttercup10367(_529248))], (1082 ^ _495855) ^ [_529434] : [b48_buttercup10294(_529434), -(b48_buttercup10291(_529434))], (1088 ^ _495855) ^ [_529620] : [b48_buttercup10299(_529620), -(b48_buttercup10291(_529620))], (1094 ^ _495855) ^ [_529806] : [b48_buttercup10318(_529806), -(b48_buttercup10313(_529806))], (1100 ^ _495855) ^ [_529992] : [b48_buttercup10320(_529992), -(b48_buttercup10313(_529992))], (1106 ^ _495855) ^ [_530178] : [b48_buttercup10173(_530178), -(b48_buttercup10170(_530178))], (1112 ^ _495855) ^ [_530364] : [b48_buttercup10174(_530364), -(b48_buttercup10170(_530364))], (1118 ^ _495855) ^ [_530550] : [b48_buttercup10636(_530550), -(b48_buttercup10632(_530550))], (1124 ^ _495855) ^ [_530736] : [b48_buttercup10638(_530736), -(b48_buttercup10632(_530736))], (1130 ^ _495855) ^ [_530922] : [b48_buttercup10640(_530922), -(b48_buttercup10632(_530922))], (1136 ^ _495855) ^ [_531108] : [b48_buttercup10029(_531108), -(b48_buttercup10024(_531108))], (1142 ^ _495855) ^ [_531294] : [b48_buttercup10031(_531294), -(b48_buttercup10024(_531294))], (1148 ^ _495855) ^ [_531480] : [b48_buttercup10034(_531480), -(b48_buttercup10024(_531480))], (1154 ^ _495855) ^ [_531666] : [b48_buttercup10574(_531666), -(b48_buttercup10563(_531666))], (1160 ^ _495855) ^ [_531852] : [b48_buttercup10154(_531852), -(b48_buttercup10150(_531852))], (1166 ^ _495855) ^ [_532038] : [b48_buttercup10156(_532038), -(b48_buttercup10150(_532038))], (1172 ^ _495855) ^ [_532224] : [b48_buttercup10158(_532224), -(b48_buttercup10150(_532224))], (1178 ^ _495855) ^ [_532410] : [b48_buttercup10159(_532410), -(b48_buttercup10150(_532410))], (1184 ^ _495855) ^ [_532596] : [b48_buttercup10160(_532596), -(b48_buttercup10150(_532596))], (1190 ^ _495855) ^ [_532782] : [b48_buttercup10208(_532782), -(b48_buttercup10201(_532782))], (1196 ^ _495855) ^ [_532968] : [b48_buttercup10210(_532968), -(b48_buttercup10201(_532968))], (1202 ^ _495855) ^ [_533154] : [b48_buttercup10214(_533154), -(b48_buttercup10201(_533154))], (1208 ^ _495855) ^ [_533340] : [b48_buttercup10217(_533340), -(b48_buttercup10201(_533340))], (1214 ^ _495855) ^ [_533526] : [b48_buttercup10220(_533526), -(b48_buttercup10201(_533526))], (1220 ^ _495855) ^ [_533712] : [b48_buttercup10513(_533712), -(b48_buttercup10512(_533712))], (1226 ^ _495855) ^ [_533898] : [b48_buttercup10514(_533898), -(b48_buttercup10512(_533898))], (1232 ^ _495855) ^ [_534084] : [b48_buttercup10058(_534084), -(b48_buttercup10054(_534084))], (1238 ^ _495855) ^ [_534270] : [b48_buttercup10065(_534270), -(b48_buttercup10054(_534270))], (1244 ^ _495855) ^ [_534456] : [b48_buttercup10068(_534456), -(b48_buttercup10054(_534456))], (1250 ^ _495855) ^ [_534642] : [b48_buttercup10070(_534642), -(b48_buttercup10054(_534642))], (1256 ^ _495855) ^ [_534828] : [b48_buttercup10072(_534828), -(b48_buttercup10054(_534828))], (1262 ^ _495855) ^ [_535014] : [b48_buttercup10075(_535014), -(b48_buttercup10054(_535014))], (1268 ^ _495855) ^ [_535200] : [b48_buttercup10561(_535200), -(b48_buttercup10552(_535200))], (1274 ^ _495855) ^ [_535386] : [b48_buttercup10562(_535386), -(b48_buttercup10552(_535386))], (1280 ^ _495855) ^ [_535572] : [b48_buttercup10518(_535572), -(b48_buttercup10515(_535572))], (1286 ^ _495855) ^ [_535758] : [b48_buttercup10519(_535758), -(b48_buttercup10515(_535758))], (1292 ^ _495855) ^ [_535944] : [b48_buttercup10520(_535944), -(b48_buttercup10515(_535944))], (1298 ^ _495855) ^ [_536130] : [b48_buttercup10521(_536130), -(b48_buttercup10515(_536130))], (1304 ^ _495855) ^ [_536316] : [b48_buttercup10273(_536316), -(b48_buttercup10271(_536316))], (1310 ^ _495855) ^ [_536502] : [b48_buttercup10186(_536502), -(b48_buttercup10007(_536502))], (1316 ^ _495855) ^ [_536688] : [b48_buttercup10196(_536688), -(b48_buttercup10007(_536688))], (1322 ^ _495855) ^ [_536874] : [b48_buttercup10197(_536874), -(b48_buttercup10007(_536874))], (1328 ^ _495855) ^ [_537060] : [b48_buttercup10198(_537060), -(b48_buttercup10007(_537060))], (1334 ^ _495855) ^ [_537246] : [b48_buttercup10199(_537246), -(b48_buttercup10007(_537246))], (1340 ^ _495855) ^ [_537432] : [b48_buttercup10201(_537432), -(b48_buttercup10007(_537432))], (1346 ^ _495855) ^ [_537618] : [b48_buttercup10222(_537618), -(b48_buttercup10007(_537618))], (1352 ^ _495855) ^ [_537804] : [b48_buttercup10231(_537804), -(b48_buttercup10007(_537804))], (1358 ^ _495855) ^ [_537990] : [b48_buttercup10240(_537990), -(b48_buttercup10007(_537990))], (1364 ^ _495855) ^ [_538176] : [b48_buttercup10247(_538176), -(b48_buttercup10007(_538176))], (1370 ^ _495855) ^ [_538362] : [b48_buttercup10248(_538362), -(b48_buttercup10007(_538362))], (1376 ^ _495855) ^ [_538548] : [b48_buttercup10266(_538548), -(b48_buttercup10007(_538548))], (1382 ^ _495855) ^ [_538734] : [b48_buttercup10269(_538734), -(b48_buttercup10007(_538734))], (1388 ^ _495855) ^ [_538920] : [b48_buttercup10271(_538920), -(b48_buttercup10007(_538920))], (1394 ^ _495855) ^ [_539106] : [b48_buttercup10272(_539106), -(b48_buttercup10007(_539106))], (1400 ^ _495855) ^ [_539292] : [b48_buttercup10274(_539292), -(b48_buttercup10007(_539292))], (1406 ^ _495855) ^ [_539478] : [b48_buttercup10279(_539478), -(b48_buttercup10007(_539478))], (1412 ^ _495855) ^ [_539664] : [b48_buttercup10291(_539664), -(b48_buttercup10007(_539664))], (1418 ^ _495855) ^ [_539850] : [b48_buttercup10300(_539850), -(b48_buttercup10007(_539850))], (1424 ^ _495855) ^ [_540036] : [b48_buttercup10309(_540036), -(b48_buttercup10007(_540036))], (1430 ^ _495855) ^ [_540222] : [b48_buttercup10313(_540222), -(b48_buttercup10007(_540222))], (1436 ^ _495855) ^ [_540408] : [b48_buttercup10322(_540408), -(b48_buttercup10007(_540408))], (1442 ^ _495855) ^ [_540594] : [b48_buttercup10326(_540594), -(b48_buttercup10007(_540594))], (1448 ^ _495855) ^ [_540780] : [b48_buttercup10332(_540780), -(b48_buttercup10007(_540780))], (1454 ^ _495855) ^ [_540966] : [b48_buttercup10334(_540966), -(b48_buttercup10007(_540966))], (1460 ^ _495855) ^ [_541152] : [b48_buttercup10353(_541152), -(b48_buttercup10007(_541152))], (1466 ^ _495855) ^ [_541338] : [b48_buttercup10362(_541338), -(b48_buttercup10007(_541338))], (1472 ^ _495855) ^ [_541524] : [b48_buttercup10013(_541524), -(b48_buttercup10007(_541524))], (1478 ^ _495855) ^ [_541710] : [b48_buttercup10024(_541710), -(b48_buttercup10007(_541710))], (1484 ^ _495855) ^ [_541896] : [b48_buttercup10035(_541896), -(b48_buttercup10007(_541896))], (1490 ^ _495855) ^ [_542082] : [b48_buttercup10046(_542082), -(b48_buttercup10007(_542082))], (1496 ^ _495855) ^ [_542268] : [b48_buttercup10054(_542268), -(b48_buttercup10007(_542268))], (1502 ^ _495855) ^ [_542454] : [b48_buttercup10076(_542454), -(b48_buttercup10007(_542454))], (1508 ^ _495855) ^ [_542640] : [b48_buttercup10082(_542640), -(b48_buttercup10007(_542640))], (1514 ^ _495855) ^ [_542826] : [b48_buttercup10085(_542826), -(b48_buttercup10007(_542826))], (1520 ^ _495855) ^ [_543012] : [b48_buttercup10086(_543012), -(b48_buttercup10007(_543012))], (1526 ^ _495855) ^ [_543198] : [b48_buttercup10092(_543198), -(b48_buttercup10007(_543198))], (1532 ^ _495855) ^ [_543384] : [b48_buttercup10098(_543384), -(b48_buttercup10007(_543384))], (1538 ^ _495855) ^ [_543570] : [b48_buttercup10115(_543570), -(b48_buttercup10007(_543570))], (1544 ^ _495855) ^ [_543756] : [b48_buttercup10121(_543756), -(b48_buttercup10007(_543756))], (1550 ^ _495855) ^ [_543942] : [b48_buttercup10130(_543942), -(b48_buttercup10007(_543942))], (1556 ^ _495855) ^ [_544128] : [b48_buttercup10143(_544128), -(b48_buttercup10007(_544128))], (1562 ^ _495855) ^ [_544314] : [b48_buttercup10150(_544314), -(b48_buttercup10007(_544314))], (1568 ^ _495855) ^ [_544500] : [b48_buttercup10161(_544500), -(b48_buttercup10007(_544500))], (1574 ^ _495855) ^ [_544686] : [b48_buttercup10170(_544686), -(b48_buttercup10007(_544686))], (1580 ^ _495855) ^ [_544872] : [b48_buttercup10176(_544872), -(b48_buttercup10007(_544872))], (1586 ^ _495855) ^ [_545058] : [b48_buttercup10180(_545058), -(b48_buttercup10007(_545058))], (1592 ^ _495855) ^ [_545244] : [b48_buttercup10182(_545244), -(b48_buttercup10007(_545244))], (1598 ^ _495855) ^ [_545430] : [b48_buttercup10365(_545430), -(b48_buttercup10007(_545430))], (1604 ^ _495855) ^ [_545616] : [b48_buttercup10367(_545616), -(b48_buttercup10007(_545616))], (1610 ^ _495855) ^ [_545802] : [b48_buttercup10378(_545802), -(b48_buttercup10007(_545802))], (1616 ^ _495855) ^ [_545988] : [b48_buttercup10381(_545988), -(b48_buttercup10007(_545988))], (1622 ^ _495855) ^ [_546174] : [b48_buttercup10383(_546174), -(b48_buttercup10007(_546174))], (1628 ^ _495855) ^ [_546360] : [b48_buttercup10386(_546360), -(b48_buttercup10007(_546360))], (1634 ^ _495855) ^ [_546546] : [b48_buttercup10394(_546546), -(b48_buttercup10007(_546546))], (1640 ^ _495855) ^ [_546732] : [b48_buttercup10398(_546732), -(b48_buttercup10007(_546732))], (1646 ^ _495855) ^ [_546918] : [b48_buttercup10402(_546918), -(b48_buttercup10007(_546918))], (1652 ^ _495855) ^ [_547104] : [b48_buttercup10411(_547104), -(b48_buttercup10007(_547104))], (1658 ^ _495855) ^ [_547290] : [b48_buttercup10417(_547290), -(b48_buttercup10007(_547290))], (1664 ^ _495855) ^ [_547476] : [b48_buttercup10420(_547476), -(b48_buttercup10007(_547476))], (1670 ^ _495855) ^ [_547662] : [b48_buttercup10427(_547662), -(b48_buttercup10007(_547662))], (1676 ^ _495855) ^ [_547848] : [b48_buttercup10433(_547848), -(b48_buttercup10007(_547848))], (1682 ^ _495855) ^ [_548034] : [b48_buttercup10434(_548034), -(b48_buttercup10007(_548034))], (1688 ^ _495855) ^ [_548220] : [b48_buttercup10440(_548220), -(b48_buttercup10007(_548220))], (1694 ^ _495855) ^ [_548406] : [b48_buttercup10443(_548406), -(b48_buttercup10007(_548406))], (1700 ^ _495855) ^ [_548592] : [b48_buttercup10446(_548592), -(b48_buttercup10007(_548592))], (1706 ^ _495855) ^ [_548778] : [b48_buttercup10450(_548778), -(b48_buttercup10007(_548778))], (1712 ^ _495855) ^ [_548964] : [b48_buttercup10469(_548964), -(b48_buttercup10007(_548964))], (1718 ^ _495855) ^ [_549150] : [b48_buttercup10471(_549150), -(b48_buttercup10007(_549150))], (1724 ^ _495855) ^ [_549336] : [b48_buttercup10474(_549336), -(b48_buttercup10007(_549336))], (1730 ^ _495855) ^ [_549522] : [b48_buttercup10490(_549522), -(b48_buttercup10007(_549522))], (1736 ^ _495855) ^ [_549708] : [b48_buttercup10493(_549708), -(b48_buttercup10007(_549708))], (1742 ^ _495855) ^ [_549894] : [b48_buttercup10496(_549894), -(b48_buttercup10007(_549894))], (1748 ^ _495855) ^ [_550080] : [b48_buttercup10502(_550080), -(b48_buttercup10007(_550080))], (1754 ^ _495855) ^ [_550266] : [b48_buttercup10507(_550266), -(b48_buttercup10007(_550266))], (1760 ^ _495855) ^ [_550452] : [b48_buttercup10512(_550452), -(b48_buttercup10007(_550452))], (1766 ^ _495855) ^ [_550638] : [b48_buttercup10515(_550638), -(b48_buttercup10007(_550638))], (1772 ^ _495855) ^ [_550824] : [b48_buttercup10522(_550824), -(b48_buttercup10007(_550824))], (1778 ^ _495855) ^ [_551010] : [b48_buttercup10526(_551010), -(b48_buttercup10007(_551010))], (1784 ^ _495855) ^ [_551196] : [b48_buttercup10530(_551196), -(b48_buttercup10007(_551196))], (1790 ^ _495855) ^ [_551382] : [b48_buttercup10531(_551382), -(b48_buttercup10007(_551382))], (1796 ^ _495855) ^ [_551568] : [b48_buttercup10542(_551568), -(b48_buttercup10007(_551568))], (1802 ^ _495855) ^ [_551754] : [b48_buttercup10549(_551754), -(b48_buttercup10007(_551754))], (1808 ^ _495855) ^ [_551940] : [b48_buttercup10552(_551940), -(b48_buttercup10007(_551940))], (1814 ^ _495855) ^ [_552126] : [b48_buttercup10563(_552126), -(b48_buttercup10007(_552126))], (1820 ^ _495855) ^ [_552312] : [b48_buttercup10570(_552312), -(b48_buttercup10007(_552312))], (1826 ^ _495855) ^ [_552498] : [b48_buttercup10572(_552498), -(b48_buttercup10007(_552498))], (1832 ^ _495855) ^ [_552684] : [b48_buttercup10575(_552684), -(b48_buttercup10007(_552684))], (1838 ^ _495855) ^ [_552870] : [b48_buttercup10579(_552870), -(b48_buttercup10007(_552870))], (1844 ^ _495855) ^ [_553056] : [b48_buttercup10582(_553056), -(b48_buttercup10007(_553056))], (1850 ^ _495855) ^ [_553242] : [b48_buttercup10589(_553242), -(b48_buttercup10007(_553242))], (1856 ^ _495855) ^ [_553428] : [b48_buttercup10605(_553428), -(b48_buttercup10007(_553428))], (1862 ^ _495855) ^ [_553614] : [b48_buttercup10606(_553614), -(b48_buttercup10007(_553614))], (1868 ^ _495855) ^ [_553800] : [b48_buttercup10609(_553800), -(b48_buttercup10007(_553800))], (1874 ^ _495855) ^ [_553986] : [b48_buttercup10612(_553986), -(b48_buttercup10007(_553986))], (1880 ^ _495855) ^ [_554172] : [b48_buttercup10616(_554172), -(b48_buttercup10007(_554172))], (1886 ^ _495855) ^ [_554358] : [b48_buttercup10624(_554358), -(b48_buttercup10007(_554358))], (1892 ^ _495855) ^ [_554544] : [b48_buttercup10629(_554544), -(b48_buttercup10007(_554544))], (1898 ^ _495855) ^ [_554730] : [b48_buttercup10632(_554730), -(b48_buttercup10007(_554730))], (1904 ^ _495855) ^ [_554916] : [b48_buttercup10642(_554916), -(b48_buttercup10007(_554916))], (1910 ^ _495855) ^ [_555102] : [b48_buttercup10646(_555102), -(b48_buttercup10007(_555102))], (1923 ^ _495855) ^ [] : [-(k04_buttercup10303(1921 ^ []))], (1925 ^ _495855) ^ [] : [b48_buttercup10305(1921 ^ [])], (1916 ^ _495855) ^ [_555308] : [b48_buttercup10305(_555308), -(k04_buttercup10303(_555308))], (1927 ^ _495855) ^ [_555657] : [k04_buttercup10298(_555657), -(b48_buttercup10299(_555657))], (1933 ^ _495855) ^ [_555809] : [b48_buttercup10299(_555809), -(k04_buttercup10298(_555809))], (1939 ^ _495855) ^ [_556026] : [k04_buttercup10303(_556026), -(b48_buttercup10300(_556026))], (1945 ^ _495855) ^ [_556178] : [b48_buttercup10300(_556178), -(k04_buttercup10303(_556178))], (1958 ^ _495855) ^ [] : [-(k04_buttercup10303(1956 ^ []))], (1960 ^ _495855) ^ [] : [b48_buttercup10307(1956 ^ [])], (1951 ^ _495855) ^ [_556386] : [b48_buttercup10307(_556386), -(k04_buttercup10303(_556386))], (1962 ^ _495855) ^ [_556735] : [k04_buttercup10643(_556735), -(b48_buttercup10642(_556735))], (1968 ^ _495855) ^ [_556887] : [b48_buttercup10642(_556887), -(k04_buttercup10643(_556887))], (1974 ^ _495855) ^ [_557104] : [k04_buttercup10641(_557104), -(b48_buttercup10640(_557104))], (1980 ^ _495855) ^ [_557256] : [b48_buttercup10640(_557256), -(k04_buttercup10641(_557256))], (1986 ^ _495855) ^ [_557473] : [k04_buttercup10639(_557473), -(b48_buttercup10638(_557473))], (1992 ^ _495855) ^ [_557625] : [b48_buttercup10638(_557625), -(k04_buttercup10639(_557625))], (1998 ^ _495855) ^ [_557842] : [k04_buttercup10637(_557842), -(b48_buttercup10636(_557842))], (2004 ^ _495855) ^ [_557994] : [b48_buttercup10636(_557994), -(k04_buttercup10637(_557994))], (2010 ^ _495855) ^ [_558211] : [k04_buttercup10252(_558211), -(b48_buttercup10248(_558211))], (2016 ^ _495855) ^ [_558363] : [b48_buttercup10248(_558363), -(k04_buttercup10252(_558363))], (2022 ^ _495855) ^ [_558580] : [k04_buttercup10535(_558580), -(b48_buttercup10531(_558580))], (2028 ^ _495855) ^ [_558732] : [b48_buttercup10531(_558732), -(k04_buttercup10535(_558732))], (2041 ^ _495855) ^ [] : [-(k04_buttercup10153(2039 ^ []))], (2043 ^ _495855) ^ [] : [b48_buttercup10156(2039 ^ [])], (2034 ^ _495855) ^ [_558940] : [b48_buttercup10156(_558940), -(k04_buttercup10153(_558940))], (2052 ^ _495855) ^ [] : [-(k04_buttercup10153(2050 ^ []))], (2054 ^ _495855) ^ [] : [b48_buttercup10154(2050 ^ [])], (2045 ^ _495855) ^ [_559280] : [b48_buttercup10154(_559280), -(k04_buttercup10153(_559280))], (2056 ^ _495855) ^ [_559629] : [k04_buttercup10153(_559629), -(b48_buttercup10150(_559629))], (2062 ^ _495855) ^ [_559781] : [b48_buttercup10150(_559781), -(k04_buttercup10153(_559781))], (2075 ^ _495855) ^ [] : [-(k04_buttercup10225(2073 ^ []))], (2077 ^ _495855) ^ [] : [b48_buttercup10227(2073 ^ [])], (2068 ^ _495855) ^ [_559989] : [b48_buttercup10227(_559989), -(k04_buttercup10225(_559989))], (2086 ^ _495855) ^ [] : [-(k04_buttercup10225(2084 ^ []))], (2088 ^ _495855) ^ [] : [b48_buttercup10229(2084 ^ [])], (2079 ^ _495855) ^ [_560329] : [b48_buttercup10229(_560329), -(k04_buttercup10225(_560329))], (2090 ^ _495855) ^ [_560678] : [k04_buttercup10234(_560678), -(b48_buttercup10231(_560678))], (2096 ^ _495855) ^ [_560830] : [b48_buttercup10231(_560830), -(k04_buttercup10234(_560830))], (2109 ^ _495855) ^ [] : [-(k04_buttercup10464(2107 ^ []))], (2111 ^ _495855) ^ [] : [b48_buttercup10465(2107 ^ [])], (2102 ^ _495855) ^ [_561038] : [b48_buttercup10465(_561038), -(k04_buttercup10464(_561038))], (2120 ^ _495855) ^ [] : [-(k04_buttercup10464(2118 ^ []))], (2122 ^ _495855) ^ [] : [b48_buttercup10466(2118 ^ [])], (2113 ^ _495855) ^ [_561378] : [b48_buttercup10466(_561378), -(k04_buttercup10464(_561378))], (2131 ^ _495855) ^ [] : [-(k04_buttercup10464(2129 ^ []))], (2133 ^ _495855) ^ [] : [b48_buttercup10467(2129 ^ [])], (2124 ^ _495855) ^ [_561718] : [b48_buttercup10467(_561718), -(k04_buttercup10464(_561718))], (2142 ^ _495855) ^ [] : [-(k04_buttercup10464(2140 ^ []))], (2144 ^ _495855) ^ [] : [b48_buttercup10456(2140 ^ [])], (2135 ^ _495855) ^ [_562058] : [b48_buttercup10456(_562058), -(k04_buttercup10464(_562058))], (2149 ^ _495855) ^ [] : [-(k04_buttercup10464(2145 ^ []))], (2151 ^ _495855) ^ [] : [-(b48_buttercup10458(2145 ^ []))], (2153 ^ _495855) ^ [] : [-(k04_buttercup10464(2146 ^ []))], (2155 ^ _495855) ^ [] : [b48_buttercup10458(2146 ^ [])], (2157 ^ _495855) ^ [] : [k04_buttercup10464(2147 ^ [])], (2159 ^ _495855) ^ [] : [-(b48_buttercup10458(2147 ^ []))], (2161 ^ _495855) ^ [_562929] : [k04_buttercup10397(_562929), -(b48_buttercup10394(_562929))], (2167 ^ _495855) ^ [_563081] : [b48_buttercup10394(_563081), -(k04_buttercup10397(_563081))], (2173 ^ _495855) ^ [_563298] : [k04_buttercup10391(_563298), -(b48_buttercup10616(_563298))], (2179 ^ _495855) ^ [_563450] : [b48_buttercup10616(_563450), -(k04_buttercup10391(_563450))], (2185 ^ _495855) ^ [_563667] : [k04_buttercup10089(_563667), -(b48_buttercup10086(_563667))], (2191 ^ _495855) ^ [_563819] : [b48_buttercup10086(_563819), -(k04_buttercup10089(_563819))], (2197 ^ _495855) ^ [_564036] : [k04_buttercup10079(_564036), -(b48_buttercup10076(_564036))], (2203 ^ _495855) ^ [_564188] : [b48_buttercup10076(_564188), -(k04_buttercup10079(_564188))], (2209 ^ _495855) ^ [_564405] : [k04_buttercup10084(_564405), -(b48_buttercup10082(_564405))], (2215 ^ _495855) ^ [_564557] : [b48_buttercup10082(_564557), -(k04_buttercup10084(_564557))], (2221 ^ _495855) ^ [] : [2225 ^ _495855 : [(2226 ^ _495855) ^ [] : [-(k04_buttercup10026(2222 ^ []))], (2228 ^ _495855) ^ [] : [-(b48_buttercup10029(2222 ^ []))], (2230 ^ _495855) ^ [] : [-(k04_buttercup10026(2223 ^ []))], (2232 ^ _495855) ^ [] : [b48_buttercup10029(2223 ^ [])], (2234 ^ _495855) ^ [] : [k04_buttercup10026(2224 ^ [])], (2236 ^ _495855) ^ [] : [-(b48_buttercup10029(2224 ^ []))]], 2239 ^ _495855 : [(2247 ^ _495855) ^ [] : [-(k04_buttercup10026(2245 ^ []))], (2249 ^ _495855) ^ [] : [b48_buttercup10029(2245 ^ [])], (2240 ^ _495855) ^ [_565327] : [b48_buttercup10029(_565327), -(k04_buttercup10026(_565327))]], 2252 ^ _495855 : [(2260 ^ _495855) ^ [] : [-(b48_buttercup10029(2258 ^ []))], (2262 ^ _495855) ^ [] : [k04_buttercup10026(2258 ^ [])], (2253 ^ _495855) ^ [_565677] : [k04_buttercup10026(_565677), -(b48_buttercup10029(_565677))]], 2263 ^ _495855 : [(2264 ^ _495855) ^ [_565977] : [k04_buttercup10026(_565977), b48_buttercup10029(_565977)]]], (2277 ^ _495855) ^ [] : [-(k04_buttercup10016(2275 ^ []))], (2279 ^ _495855) ^ [] : [b48_buttercup10022(2275 ^ [])], (2270 ^ _495855) ^ [_566200] : [b48_buttercup10022(_566200), -(k04_buttercup10016(_566200))], (2288 ^ _495855) ^ [] : [-(k04_buttercup10016(2286 ^ []))], (2290 ^ _495855) ^ [] : [b48_buttercup10021(2286 ^ [])], (2281 ^ _495855) ^ [_566540] : [b48_buttercup10021(_566540), -(k04_buttercup10016(_566540))], (2299 ^ _495855) ^ [] : [-(k04_buttercup10016(2297 ^ []))], (2301 ^ _495855) ^ [] : [b48_buttercup10019(2297 ^ [])], (2292 ^ _495855) ^ [_566880] : [b48_buttercup10019(_566880), -(k04_buttercup10016(_566880))], (2310 ^ _495855) ^ [] : [-(b48_buttercup10024(2308 ^ []))], (2312 ^ _495855) ^ [] : [k04_buttercup10026(2308 ^ [])], (2303 ^ _495855) ^ [_567220] : [k04_buttercup10026(_567220), -(b48_buttercup10024(_567220))], (2314 ^ _495855) ^ [_567569] : [k04_buttercup10581(_567569), -(b48_buttercup10579(_567569))], (2320 ^ _495855) ^ [_567721] : [b48_buttercup10579(_567721), -(k04_buttercup10581(_567721))], (2326 ^ _495855) ^ [_567938] : [k04_buttercup10586(_567938), -(b48_buttercup10582(_567938))], (2332 ^ _495855) ^ [_568090] : [b48_buttercup10582(_568090), -(k04_buttercup10586(_568090))], (2338 ^ _495855) ^ [_568307] : [k04_buttercup10389(_568307), -(b48_buttercup10386(_568307))], (2344 ^ _495855) ^ [_568459] : [b48_buttercup10386(_568459), -(k04_buttercup10389(_568459))], (2350 ^ _495855) ^ [_568676] : [k04_buttercup10385(_568676), -(b48_buttercup10269(_568676))], (2356 ^ _495855) ^ [_568828] : [b48_buttercup10269(_568828), -(k04_buttercup10385(_568828))], (2362 ^ _495855) ^ [_569045] : [k04_buttercup10382(_569045), -(b48_buttercup10383(_569045))], (2368 ^ _495855) ^ [_569197] : [b48_buttercup10383(_569197), -(k04_buttercup10382(_569197))], (2374 ^ _495855) ^ [_569414] : [k04_buttercup10296(_569414), -(b48_buttercup10294(_569414))], (2380 ^ _495855) ^ [_569566] : [b48_buttercup10294(_569566), -(k04_buttercup10296(_569566))], (2386 ^ _495855) ^ [_569783] : [k04_buttercup10293(_569783), -(b48_buttercup10291(_569783))], (2392 ^ _495855) ^ [_569935] : [b48_buttercup10291(_569935), -(k04_buttercup10293(_569935))], (2398 ^ _495855) ^ [_570152] : [k04_buttercup10288(_570152), -(b48_buttercup10290(_570152))], (2404 ^ _495855) ^ [_570304] : [b48_buttercup10290(_570304), -(k04_buttercup10288(_570304))], (2410 ^ _495855) ^ [_570521] : [k04_buttercup10067(_570521), -(b48_buttercup10065(_570521))], (2416 ^ _495855) ^ [_570673] : [b48_buttercup10065(_570673), -(k04_buttercup10067(_570673))], (2422 ^ _495855) ^ [_570890] : [k04_buttercup10074(_570890), -(b48_buttercup10072(_570890))], (2428 ^ _495855) ^ [_571042] : [b48_buttercup10072(_571042), -(k04_buttercup10074(_571042))], (2434 ^ _495855) ^ [_571259] : [k04_buttercup10495(_571259), -(b48_buttercup10493(_571259))], (2440 ^ _495855) ^ [_571411] : [b48_buttercup10493(_571411), -(k04_buttercup10495(_571411))], (2446 ^ _495855) ^ [_571628] : [k04_buttercup10492(_571628), -(b48_buttercup10490(_571628))], (2452 ^ _495855) ^ [_571780] : [b48_buttercup10490(_571780), -(k04_buttercup10492(_571780))], (2465 ^ _495855) ^ [] : [-(k04_buttercup10486(2463 ^ []))], (2467 ^ _495855) ^ [] : [b48_buttercup10487(2463 ^ [])], (2458 ^ _495855) ^ [_571988] : [b48_buttercup10487(_571988), -(k04_buttercup10486(_571988))], (2476 ^ _495855) ^ [] : [-(k04_buttercup10486(2474 ^ []))], (2478 ^ _495855) ^ [] : [b48_buttercup10489(2474 ^ [])], (2469 ^ _495855) ^ [_572328] : [b48_buttercup10489(_572328), -(k04_buttercup10486(_572328))], (2480 ^ _495855) ^ [_572677] : [k04_buttercup10200(_572677), -(b48_buttercup10199(_572677))], (2486 ^ _495855) ^ [_572829] : [b48_buttercup10199(_572829), -(k04_buttercup10200(_572829))], (2499 ^ _495855) ^ [] : [-(b48_buttercup10201(2497 ^ []))], (2501 ^ _495855) ^ [] : [k04_buttercup10204(2497 ^ [])], (2492 ^ _495855) ^ [_573037] : [k04_buttercup10204(_573037), -(b48_buttercup10201(_573037))], (2510 ^ _495855) ^ [] : [-(k04_buttercup10190(2508 ^ []))], (2512 ^ _495855) ^ [] : [b48_buttercup10193(2508 ^ [])], (2503 ^ _495855) ^ [_573377] : [b48_buttercup10193(_573377), -(k04_buttercup10190(_573377))], (2521 ^ _495855) ^ [] : [-(k04_buttercup10190(2519 ^ []))], (2523 ^ _495855) ^ [] : [b48_buttercup10195(2519 ^ [])], (2514 ^ _495855) ^ [_573717] : [b48_buttercup10195(_573717), -(k04_buttercup10190(_573717))], (2525 ^ _495855) ^ [_574066] : [k04_buttercup10551(_574066), -(b48_buttercup10549(_574066))], (2531 ^ _495855) ^ [_574218] : [b48_buttercup10549(_574218), -(k04_buttercup10551(_574218))], (2537 ^ _495855) ^ [_574435] : [k04_buttercup10546(_574435), -(b48_buttercup10545(_574435))], (2543 ^ _495855) ^ [_574587] : [b48_buttercup10545(_574587), -(k04_buttercup10546(_574587))], (2549 ^ _495855) ^ [_574804] : [k04_buttercup10547(_574804), -(b48_buttercup10548(_574804))], (2555 ^ _495855) ^ [_574956] : [b48_buttercup10548(_574956), -(k04_buttercup10547(_574956))], (2568 ^ _495855) ^ [] : [-(k04_buttercup10622(2566 ^ []))], (2570 ^ _495855) ^ [] : [b48_buttercup10102(2566 ^ [])], (2561 ^ _495855) ^ [_575164] : [b48_buttercup10102(_575164), -(k04_buttercup10622(_575164))], (2572 ^ _495855) ^ [] : [2576 ^ _495855 : [(2577 ^ _495855) ^ [] : [-(k04_buttercup10619(2573 ^ []))], (2579 ^ _495855) ^ [] : [-(b48_buttercup10111(2573 ^ []))], (2581 ^ _495855) ^ [] : [-(k04_buttercup10619(2574 ^ []))], (2583 ^ _495855) ^ [] : [b48_buttercup10111(2574 ^ [])], (2585 ^ _495855) ^ [] : [k04_buttercup10619(2575 ^ [])], (2587 ^ _495855) ^ [] : [-(b48_buttercup10111(2575 ^ []))]], 2590 ^ _495855 : [(2598 ^ _495855) ^ [] : [-(k04_buttercup10619(2596 ^ []))], (2600 ^ _495855) ^ [] : [b48_buttercup10111(2596 ^ [])], (2591 ^ _495855) ^ [_576066] : [b48_buttercup10111(_576066), -(k04_buttercup10619(_576066))]], 2603 ^ _495855 : [(2611 ^ _495855) ^ [] : [-(b48_buttercup10111(2609 ^ []))], (2613 ^ _495855) ^ [] : [k04_buttercup10619(2609 ^ [])], (2604 ^ _495855) ^ [_576416] : [k04_buttercup10619(_576416), -(b48_buttercup10111(_576416))]], 2614 ^ _495855 : [(2615 ^ _495855) ^ [_576716] : [k04_buttercup10619(_576716), b48_buttercup10111(_576716)]]], (2621 ^ _495855) ^ [] : [2625 ^ _495855 : [(2626 ^ _495855) ^ [] : [-(k04_buttercup10619(2622 ^ []))], (2628 ^ _495855) ^ [] : [-(b48_buttercup10109(2622 ^ []))], (2630 ^ _495855) ^ [] : [-(k04_buttercup10619(2623 ^ []))], (2632 ^ _495855) ^ [] : [b48_buttercup10109(2623 ^ [])], (2634 ^ _495855) ^ [] : [k04_buttercup10619(2624 ^ [])], (2636 ^ _495855) ^ [] : [-(b48_buttercup10109(2624 ^ []))]], 2639 ^ _495855 : [(2647 ^ _495855) ^ [] : [-(k04_buttercup10619(2645 ^ []))], (2649 ^ _495855) ^ [] : [b48_buttercup10109(2645 ^ [])], (2640 ^ _495855) ^ [_577501] : [b48_buttercup10109(_577501), -(k04_buttercup10619(_577501))]], 2652 ^ _495855 : [(2660 ^ _495855) ^ [] : [-(b48_buttercup10109(2658 ^ []))], (2662 ^ _495855) ^ [] : [k04_buttercup10619(2658 ^ [])], (2653 ^ _495855) ^ [_577851] : [k04_buttercup10619(_577851), -(b48_buttercup10109(_577851))]], 2663 ^ _495855 : [(2664 ^ _495855) ^ [_578151] : [k04_buttercup10619(_578151), b48_buttercup10109(_578151)]]], (2670 ^ _495855) ^ [_578383] : [k04_buttercup10620(_578383), -(b48_buttercup10107(_578383))], (2676 ^ _495855) ^ [_578535] : [b48_buttercup10107(_578535), -(k04_buttercup10620(_578535))], (2689 ^ _495855) ^ [] : [-(b48_buttercup10098(2687 ^ []))], (2691 ^ _495855) ^ [] : [k04_buttercup10619(2687 ^ [])], (2682 ^ _495855) ^ [_578743] : [k04_buttercup10619(_578743), -(b48_buttercup10098(_578743))], (2693 ^ _495855) ^ [] : [2697 ^ _495855 : [(2698 ^ _495855) ^ [] : [-(k04_buttercup10100(2694 ^ []))], (2700 ^ _495855) ^ [] : [-(b48_buttercup10108(2694 ^ []))], (2702 ^ _495855) ^ [] : [-(k04_buttercup10100(2695 ^ []))], (2704 ^ _495855) ^ [] : [b48_buttercup10108(2695 ^ [])], (2706 ^ _495855) ^ [] : [k04_buttercup10100(2696 ^ [])], (2708 ^ _495855) ^ [] : [-(b48_buttercup10108(2696 ^ []))]], 2711 ^ _495855 : [(2719 ^ _495855) ^ [] : [-(k04_buttercup10100(2717 ^ []))], (2721 ^ _495855) ^ [] : [b48_buttercup10108(2717 ^ [])], (2712 ^ _495855) ^ [_579645] : [b48_buttercup10108(_579645), -(k04_buttercup10100(_579645))]], 2724 ^ _495855 : [(2732 ^ _495855) ^ [] : [-(b48_buttercup10108(2730 ^ []))], (2734 ^ _495855) ^ [] : [k04_buttercup10100(2730 ^ [])], (2725 ^ _495855) ^ [_579995] : [k04_buttercup10100(_579995), -(b48_buttercup10108(_579995))]], 2735 ^ _495855 : [(2736 ^ _495855) ^ [_580295] : [k04_buttercup10100(_580295), b48_buttercup10108(_580295)]]], (2742 ^ _495855) ^ [] : [2746 ^ _495855 : [(2747 ^ _495855) ^ [] : [-(k04_buttercup10100(2743 ^ []))], (2749 ^ _495855) ^ [] : [-(b48_buttercup10107(2743 ^ []))], (2751 ^ _495855) ^ [] : [-(k04_buttercup10100(2744 ^ []))], (2753 ^ _495855) ^ [] : [b48_buttercup10107(2744 ^ [])], (2755 ^ _495855) ^ [] : [k04_buttercup10100(2745 ^ [])], (2757 ^ _495855) ^ [] : [-(b48_buttercup10107(2745 ^ []))]], 2760 ^ _495855 : [(2768 ^ _495855) ^ [] : [-(k04_buttercup10100(2766 ^ []))], (2770 ^ _495855) ^ [] : [b48_buttercup10107(2766 ^ [])], (2761 ^ _495855) ^ [_581080] : [b48_buttercup10107(_581080), -(k04_buttercup10100(_581080))]], 2773 ^ _495855 : [(2781 ^ _495855) ^ [] : [-(b48_buttercup10107(2779 ^ []))], (2783 ^ _495855) ^ [] : [k04_buttercup10100(2779 ^ [])], (2774 ^ _495855) ^ [_581430] : [k04_buttercup10100(_581430), -(b48_buttercup10107(_581430))]], 2784 ^ _495855 : [(2785 ^ _495855) ^ [_581730] : [k04_buttercup10100(_581730), b48_buttercup10107(_581730)]]], (2791 ^ _495855) ^ [] : [2795 ^ _495855 : [(2796 ^ _495855) ^ [] : [-(k04_buttercup10100(2792 ^ []))], (2798 ^ _495855) ^ [] : [-(b48_buttercup10104(2792 ^ []))], (2800 ^ _495855) ^ [] : [-(k04_buttercup10100(2793 ^ []))], (2802 ^ _495855) ^ [] : [b48_buttercup10104(2793 ^ [])], (2804 ^ _495855) ^ [] : [k04_buttercup10100(2794 ^ [])], (2806 ^ _495855) ^ [] : [-(b48_buttercup10104(2794 ^ []))]], 2809 ^ _495855 : [(2817 ^ _495855) ^ [] : [-(k04_buttercup10100(2815 ^ []))], (2819 ^ _495855) ^ [] : [b48_buttercup10104(2815 ^ [])], (2810 ^ _495855) ^ [_582515] : [b48_buttercup10104(_582515), -(k04_buttercup10100(_582515))]], 2822 ^ _495855 : [(2830 ^ _495855) ^ [] : [-(b48_buttercup10104(2828 ^ []))], (2832 ^ _495855) ^ [] : [k04_buttercup10100(2828 ^ [])], (2823 ^ _495855) ^ [_582865] : [k04_buttercup10100(_582865), -(b48_buttercup10104(_582865))]], 2833 ^ _495855 : [(2834 ^ _495855) ^ [_583165] : [k04_buttercup10100(_583165), b48_buttercup10104(_583165)]]], (2847 ^ _495855) ^ [] : [-(k04_buttercup10100(2845 ^ []))], (2849 ^ _495855) ^ [] : [b48_buttercup10111(2845 ^ [])], (2840 ^ _495855) ^ [_583388] : [b48_buttercup10111(_583388), -(k04_buttercup10100(_583388))], (2851 ^ _495855) ^ [] : [2855 ^ _495855 : [(2856 ^ _495855) ^ [] : [-(k04_buttercup10100(2852 ^ []))], (2858 ^ _495855) ^ [] : [-(b48_buttercup10110(2852 ^ []))], (2860 ^ _495855) ^ [] : [-(k04_buttercup10100(2853 ^ []))], (2862 ^ _495855) ^ [] : [b48_buttercup10110(2853 ^ [])], (2864 ^ _495855) ^ [] : [k04_buttercup10100(2854 ^ [])], (2866 ^ _495855) ^ [] : [-(b48_buttercup10110(2854 ^ []))]], 2869 ^ _495855 : [(2877 ^ _495855) ^ [] : [-(k04_buttercup10100(2875 ^ []))], (2879 ^ _495855) ^ [] : [b48_buttercup10110(2875 ^ [])], (2870 ^ _495855) ^ [_584290] : [b48_buttercup10110(_584290), -(k04_buttercup10100(_584290))]], 2882 ^ _495855 : [(2890 ^ _495855) ^ [] : [-(b48_buttercup10110(2888 ^ []))], (2892 ^ _495855) ^ [] : [k04_buttercup10100(2888 ^ [])], (2883 ^ _495855) ^ [_584640] : [k04_buttercup10100(_584640), -(b48_buttercup10110(_584640))]], 2893 ^ _495855 : [(2894 ^ _495855) ^ [_584940] : [k04_buttercup10100(_584940), b48_buttercup10110(_584940)]]], (2907 ^ _495855) ^ [] : [-(k04_buttercup10100(2905 ^ []))], (2909 ^ _495855) ^ [] : [b48_buttercup10109(2905 ^ [])], (2900 ^ _495855) ^ [_585163] : [b48_buttercup10109(_585163), -(k04_buttercup10100(_585163))], (2911 ^ _495855) ^ [_585512] : [k04_buttercup10437(_585512), -(b48_buttercup10434(_585512))], (2917 ^ _495855) ^ [_585664] : [b48_buttercup10434(_585664), -(k04_buttercup10437(_585664))], (2923 ^ _495855) ^ [_585881] : [k04_buttercup10016(_585881), -(b48_buttercup10013(_585881))], (2929 ^ _495855) ^ [_586033] : [b48_buttercup10013(_586033), -(k04_buttercup10016(_586033))], (2935 ^ _495855) ^ [_586250] : [k04_buttercup10356(_586250), -(b48_buttercup10353(_586250))], (2941 ^ _495855) ^ [_586402] : [b48_buttercup10353(_586402), -(k04_buttercup10356(_586402))], (2947 ^ _495855) ^ [_586619] : [k04_buttercup10357(_586619), -(b48_buttercup10361(_586619))], (2953 ^ _495855) ^ [_586771] : [b48_buttercup10361(_586771), -(k04_buttercup10357(_586771))], (2966 ^ _495855) ^ [] : [-(k04_buttercup10337(2964 ^ []))], (2968 ^ _495855) ^ [] : [b48_buttercup10334(2964 ^ [])], (2959 ^ _495855) ^ [_586979] : [b48_buttercup10334(_586979), -(k04_buttercup10337(_586979))], (2970 ^ _495855) ^ [_587328] : [k04_buttercup10333(_587328), -(b48_buttercup10332(_587328))], (2976 ^ _495855) ^ [_587480] : [b48_buttercup10332(_587480), -(k04_buttercup10333(_587480))], (2982 ^ _495855) ^ [_587697] : [k04_buttercup10635(_587697), -(b48_buttercup10632(_587697))], (2988 ^ _495855) ^ [_587849] : [b48_buttercup10632(_587849), -(k04_buttercup10635(_587849))], (2994 ^ _495855) ^ [_588066] : [k04_buttercup10628(_588066), -(b48_buttercup10289(_588066))], (3000 ^ _495855) ^ [_588218] : [b48_buttercup10289(_588218), -(k04_buttercup10628(_588218))], (3006 ^ _495855) ^ [_588435] : [k04_buttercup10631(_588435), -(b48_buttercup10629(_588435))], (3012 ^ _495855) ^ [_588587] : [b48_buttercup10629(_588587), -(k04_buttercup10631(_588587))], (3025 ^ _495855) ^ [] : [-(k04_buttercup10064(3023 ^ []))], (3027 ^ _495855) ^ [] : [b48_buttercup10075(3023 ^ [])], (3018 ^ _495855) ^ [_588795] : [b48_buttercup10075(_588795), -(k04_buttercup10064(_588795))], (3029 ^ _495855) ^ [_589144] : [k04_buttercup10351(_589144), -(b48_buttercup10176(_589144))], (3035 ^ _495855) ^ [_589296] : [b48_buttercup10176(_589296), -(k04_buttercup10351(_589296))], (3048 ^ _495855) ^ [] : [-(k04_buttercup10347(3046 ^ []))], (3050 ^ _495855) ^ [] : [b48_buttercup10352(3046 ^ [])], (3041 ^ _495855) ^ [_589504] : [b48_buttercup10352(_589504), -(k04_buttercup10347(_589504))], (3059 ^ _495855) ^ [] : [-(k04_buttercup10347(3057 ^ []))], (3061 ^ _495855) ^ [] : [b48_buttercup10348(3057 ^ [])], (3052 ^ _495855) ^ [_589844] : [b48_buttercup10348(_589844), -(k04_buttercup10347(_589844))], (3070 ^ _495855) ^ [] : [-(k04_buttercup10064(3068 ^ []))], (3072 ^ _495855) ^ [] : [b48_buttercup10070(3068 ^ [])], (3063 ^ _495855) ^ [_590184] : [b48_buttercup10070(_590184), -(k04_buttercup10064(_590184))], (3081 ^ _495855) ^ [] : [-(k04_buttercup10064(3079 ^ []))], (3083 ^ _495855) ^ [] : [b48_buttercup10068(3079 ^ [])], (3074 ^ _495855) ^ [_590524] : [b48_buttercup10068(_590524), -(k04_buttercup10064(_590524))], (3085 ^ _495855) ^ [_590873] : [k04_buttercup10517(_590873), -(b48_buttercup10421(_590873))], (3091 ^ _495855) ^ [_591025] : [b48_buttercup10421(_591025), -(k04_buttercup10517(_591025))], (3104 ^ _495855) ^ [] : [-(k04_buttercup10516(3102 ^ []))], (3106 ^ _495855) ^ [] : [b48_buttercup10515(3102 ^ [])], (3097 ^ _495855) ^ [_591233] : [b48_buttercup10515(_591233), -(k04_buttercup10516(_591233))], (3115 ^ _495855) ^ [] : [-(b48_buttercup10417(3113 ^ []))], (3117 ^ _495855) ^ [] : [k04_buttercup10516(3113 ^ [])], (3108 ^ _495855) ^ [_591573] : [k04_buttercup10516(_591573), -(b48_buttercup10417(_591573))], (3119 ^ _495855) ^ [_591922] : [k04_buttercup10529(_591922), -(b48_buttercup10526(_591922))], (3125 ^ _495855) ^ [_592074] : [b48_buttercup10526(_592074), -(k04_buttercup10529(_592074))], (3131 ^ _495855) ^ [] : [3135 ^ _495855 : [(3136 ^ _495855) ^ [] : [-(k04_buttercup10204(3132 ^ []))], (3138 ^ _495855) ^ [] : [-(b48_buttercup10214(3132 ^ []))], (3140 ^ _495855) ^ [] : [-(k04_buttercup10204(3133 ^ []))], (3142 ^ _495855) ^ [] : [b48_buttercup10214(3133 ^ [])], (3144 ^ _495855) ^ [] : [k04_buttercup10204(3134 ^ [])], (3146 ^ _495855) ^ [] : [-(b48_buttercup10214(3134 ^ []))]], 3149 ^ _495855 : [(3157 ^ _495855) ^ [] : [-(k04_buttercup10204(3155 ^ []))], (3159 ^ _495855) ^ [] : [b48_buttercup10214(3155 ^ [])], (3150 ^ _495855) ^ [_592844] : [b48_buttercup10214(_592844), -(k04_buttercup10204(_592844))]], 3162 ^ _495855 : [(3170 ^ _495855) ^ [] : [-(b48_buttercup10214(3168 ^ []))], (3172 ^ _495855) ^ [] : [k04_buttercup10204(3168 ^ [])], (3163 ^ _495855) ^ [_593194] : [k04_buttercup10204(_593194), -(b48_buttercup10214(_593194))]], 3173 ^ _495855 : [(3174 ^ _495855) ^ [_593494] : [k04_buttercup10204(_593494), b48_buttercup10214(_593494)]]], (3180 ^ _495855) ^ [] : [3184 ^ _495855 : [(3185 ^ _495855) ^ [] : [-(k04_buttercup10204(3181 ^ []))], (3187 ^ _495855) ^ [] : [-(b48_buttercup10208(3181 ^ []))], (3189 ^ _495855) ^ [] : [-(k04_buttercup10204(3182 ^ []))], (3191 ^ _495855) ^ [] : [b48_buttercup10208(3182 ^ [])], (3193 ^ _495855) ^ [] : [k04_buttercup10204(3183 ^ [])], (3195 ^ _495855) ^ [] : [-(b48_buttercup10208(3183 ^ []))]], 3198 ^ _495855 : [(3206 ^ _495855) ^ [] : [-(k04_buttercup10204(3204 ^ []))], (3208 ^ _495855) ^ [] : [b48_buttercup10208(3204 ^ [])], (3199 ^ _495855) ^ [_594279] : [b48_buttercup10208(_594279), -(k04_buttercup10204(_594279))]], 3211 ^ _495855 : [(3219 ^ _495855) ^ [] : [-(b48_buttercup10208(3217 ^ []))], (3221 ^ _495855) ^ [] : [k04_buttercup10204(3217 ^ [])], (3212 ^ _495855) ^ [_594629] : [k04_buttercup10204(_594629), -(b48_buttercup10208(_594629))]], 3222 ^ _495855 : [(3223 ^ _495855) ^ [_594929] : [k04_buttercup10204(_594929), b48_buttercup10208(_594929)]]], (3229 ^ _495855) ^ [_595161] : [k04_buttercup10555(_595161), -(b48_buttercup10552(_595161))], (3235 ^ _495855) ^ [_595313] : [b48_buttercup10552(_595313), -(k04_buttercup10555(_595313))], (3248 ^ _495855) ^ [] : [-(k04_buttercup10464(3246 ^ []))], (3250 ^ _495855) ^ [] : [b48_buttercup10454(3246 ^ [])], (3241 ^ _495855) ^ [_595521] : [b48_buttercup10454(_595521), -(k04_buttercup10464(_595521))], (3252 ^ _495855) ^ [_595870] : [k04_buttercup10462(_595870), -(b48_buttercup10460(_595870))], (3258 ^ _495855) ^ [_596022] : [b48_buttercup10460(_596022), -(k04_buttercup10462(_596022))], (3264 ^ _495855) ^ [_596239] : [k04_buttercup10567(_596239), -(b48_buttercup10563(_596239))], (3270 ^ _495855) ^ [_596391] : [b48_buttercup10563(_596391), -(k04_buttercup10567(_596391))], (3276 ^ _495855) ^ [_596608] : [k04_buttercup10559(_596608), -(b48_buttercup10562(_596608))], (3282 ^ _495855) ^ [_596760] : [b48_buttercup10562(_596760), -(k04_buttercup10559(_596760))], (3295 ^ _495855) ^ [] : [-(k04_buttercup10400(3293 ^ []))], (3297 ^ _495855) ^ [] : [b48_buttercup10179(3293 ^ [])], (3288 ^ _495855) ^ [_596968] : [b48_buttercup10179(_596968), -(k04_buttercup10400(_596968))], (3306 ^ _495855) ^ [] : [-(k04_buttercup10400(3304 ^ []))], (3308 ^ _495855) ^ [] : [b48_buttercup10398(3304 ^ [])], (3299 ^ _495855) ^ [_597308] : [b48_buttercup10398(_597308), -(k04_buttercup10400(_597308))], (3310 ^ _495855) ^ [_597657] : [k04_buttercup10142(_597657), -(b48_buttercup10085(_597657))], (3316 ^ _495855) ^ [_597809] : [b48_buttercup10085(_597809), -(k04_buttercup10142(_597809))], (3329 ^ _495855) ^ [] : [-(k04_buttercup10139(3327 ^ []))], (3331 ^ _495855) ^ [] : [b48_buttercup10085(3327 ^ [])], (3322 ^ _495855) ^ [_598017] : [b48_buttercup10085(_598017), -(k04_buttercup10139(_598017))], (3340 ^ _495855) ^ [] : [-(b48_buttercup10458(3338 ^ []))], (3342 ^ _495855) ^ [] : [k04_buttercup10135(3338 ^ [])], (3333 ^ _495855) ^ [_598357] : [k04_buttercup10135(_598357), -(b48_buttercup10458(_598357))], (3351 ^ _495855) ^ [] : [-(b48_buttercup10446(3349 ^ []))], (3353 ^ _495855) ^ [] : [k04_buttercup10135(3349 ^ [])], (3344 ^ _495855) ^ [_598697] : [k04_buttercup10135(_598697), -(b48_buttercup10446(_598697))], (3355 ^ _495855) ^ [_599046] : [k04_buttercup10206(_599046), -(b48_buttercup10220(_599046))], (3361 ^ _495855) ^ [_599198] : [b48_buttercup10220(_599198), -(k04_buttercup10206(_599198))], (3367 ^ _495855) ^ [_599415] : [k04_buttercup10147(_599415), -(b48_buttercup10143(_599415))], (3373 ^ _495855) ^ [_599567] : [b48_buttercup10143(_599567), -(k04_buttercup10147(_599567))], (3379 ^ _495855) ^ [_599784] : [k04_buttercup10593(_599784), -(b48_buttercup10589(_599784))], (3385 ^ _495855) ^ [_599936] : [b48_buttercup10589(_599936), -(k04_buttercup10593(_599936))], (3398 ^ _495855) ^ [] : [-(b48_buttercup10007(3396 ^ []))], (3400 ^ _495855) ^ [] : [k04_buttercup10004(3396 ^ [])], (3391 ^ _495855) ^ [_600144] : [k04_buttercup10004(_600144), -(b48_buttercup10007(_600144))], (3409 ^ _495855) ^ [] : [-(b48_buttercup10007(3407 ^ []))], (3411 ^ _495855) ^ [] : [k04_buttercup10012(3407 ^ [])], (3402 ^ _495855) ^ [_600484] : [k04_buttercup10012(_600484), -(b48_buttercup10007(_600484))], (3413 ^ _495855) ^ [] : [3417 ^ _495855 : [(3418 ^ _495855) ^ [] : [-(k04_buttercup10282(3414 ^ []))], (3420 ^ _495855) ^ [] : [-(b48_buttercup10289(3414 ^ []))], (3422 ^ _495855) ^ [] : [-(k04_buttercup10282(3415 ^ []))], (3424 ^ _495855) ^ [] : [b48_buttercup10289(3415 ^ [])], (3426 ^ _495855) ^ [] : [k04_buttercup10282(3416 ^ [])], (3428 ^ _495855) ^ [] : [-(b48_buttercup10289(3416 ^ []))]], 3431 ^ _495855 : [(3439 ^ _495855) ^ [] : [-(k04_buttercup10282(3437 ^ []))], (3441 ^ _495855) ^ [] : [b48_buttercup10289(3437 ^ [])], (3432 ^ _495855) ^ [_601386] : [b48_buttercup10289(_601386), -(k04_buttercup10282(_601386))]], 3444 ^ _495855 : [(3452 ^ _495855) ^ [] : [-(b48_buttercup10289(3450 ^ []))], (3454 ^ _495855) ^ [] : [k04_buttercup10282(3450 ^ [])], (3445 ^ _495855) ^ [_601736] : [k04_buttercup10282(_601736), -(b48_buttercup10289(_601736))]], 3455 ^ _495855 : [(3456 ^ _495855) ^ [_602036] : [k04_buttercup10282(_602036), b48_buttercup10289(_602036)]]], (3462 ^ _495855) ^ [_602268] : [k04_buttercup10286(_602268), -(b48_buttercup10283(_602268))], (3468 ^ _495855) ^ [_602420] : [b48_buttercup10283(_602420), -(k04_buttercup10286(_602420))], (3481 ^ _495855) ^ [] : [-(k04_buttercup10153(3479 ^ []))], (3483 ^ _495855) ^ [] : [b48_buttercup10158(3479 ^ [])], (3474 ^ _495855) ^ [_602628] : [b48_buttercup10158(_602628), -(k04_buttercup10153(_602628))], (3492 ^ _495855) ^ [] : [-(k04_buttercup10153(3490 ^ []))], (3494 ^ _495855) ^ [] : [b48_buttercup10160(3490 ^ [])], (3485 ^ _495855) ^ [_602968] : [b48_buttercup10160(_602968), -(k04_buttercup10153(_602968))], (3503 ^ _495855) ^ [] : [-(k04_buttercup10153(3501 ^ []))], (3505 ^ _495855) ^ [] : [b48_buttercup10159(3501 ^ [])], (3496 ^ _495855) ^ [_603308] : [b48_buttercup10159(_603308), -(k04_buttercup10153(_603308))], (3507 ^ _495855) ^ [_603657] : [k04_buttercup10164(_603657), -(b48_buttercup10161(_603657))], (3513 ^ _495855) ^ [_603809] : [b48_buttercup10161(_603809), -(k04_buttercup10164(_603809))], (3519 ^ _495855) ^ [_604026] : [k04_buttercup10061(_604026), -(b48_buttercup10058(_604026))], (3525 ^ _495855) ^ [_604178] : [b48_buttercup10058(_604178), -(k04_buttercup10061(_604178))], (3531 ^ _495855) ^ [_604395] : [k04_buttercup10057(_604395), -(b48_buttercup10054(_604395))], (3537 ^ _495855) ^ [_604547] : [b48_buttercup10054(_604547), -(k04_buttercup10057(_604547))], (3550 ^ _495855) ^ [] : [-(b48_buttercup10007(3548 ^ []))], (3552 ^ _495855) ^ [] : [k04_buttercup10000(3548 ^ [])], (3543 ^ _495855) ^ [_604755] : [k04_buttercup10000(_604755), -(b48_buttercup10007(_604755))], (3554 ^ _495855) ^ [_605104] : [k04_buttercup10602(_605104), -(b48_buttercup10604(_605104))], (3560 ^ _495855) ^ [_605256] : [b48_buttercup10604(_605256), -(k04_buttercup10602(_605256))], (3566 ^ _495855) ^ [_605473] : [k04_buttercup10599(_605473), -(b48_buttercup10596(_605473))], (3572 ^ _495855) ^ [_605625] : [b48_buttercup10596(_605625), -(k04_buttercup10599(_605625))], (3585 ^ _495855) ^ [] : [-(k04_buttercup10622(3583 ^ []))], (3587 ^ _495855) ^ [] : [b48_buttercup10108(3583 ^ [])], (3578 ^ _495855) ^ [_605833] : [b48_buttercup10108(_605833), -(k04_buttercup10622(_605833))], (3596 ^ _495855) ^ [] : [-(k04_buttercup10622(3594 ^ []))], (3598 ^ _495855) ^ [] : [b48_buttercup10104(3594 ^ [])], (3589 ^ _495855) ^ [_606173] : [b48_buttercup10104(_606173), -(k04_buttercup10622(_606173))], (3600 ^ _495855) ^ [_606522] : [k04_buttercup10626(_606522), -(b48_buttercup10624(_606522))], (3606 ^ _495855) ^ [_606674] : [b48_buttercup10624(_606674), -(k04_buttercup10626(_606674))], (3619 ^ _495855) ^ [] : [-(k04_buttercup10622(3617 ^ []))], (3621 ^ _495855) ^ [] : [b48_buttercup10110(3617 ^ [])], (3612 ^ _495855) ^ [_606882] : [b48_buttercup10110(_606882), -(k04_buttercup10622(_606882))], (3623 ^ _495855) ^ [_607231] : [k04_buttercup10482(_607231), -(b48_buttercup10479(_607231))], (3629 ^ _495855) ^ [_607383] : [b48_buttercup10479(_607383), -(k04_buttercup10482(_607383))], (3642 ^ _495855) ^ [] : [-(k04_buttercup10486(3640 ^ []))], (3644 ^ _495855) ^ [] : [b48_buttercup10483(3640 ^ [])], (3635 ^ _495855) ^ [_607591] : [b48_buttercup10483(_607591), -(k04_buttercup10486(_607591))], (3653 ^ _495855) ^ [] : [-(k04_buttercup10486(3651 ^ []))], (3655 ^ _495855) ^ [] : [b48_buttercup10478(3651 ^ [])], (3646 ^ _495855) ^ [_607931] : [b48_buttercup10478(_607931), -(k04_buttercup10486(_607931))], (3664 ^ _495855) ^ [] : [-(k04_buttercup10095(3662 ^ []))], (3666 ^ _495855) ^ [] : [b48_buttercup10381(3662 ^ [])], (3657 ^ _495855) ^ [_608271] : [b48_buttercup10381(_608271), -(k04_buttercup10095(_608271))], (3668 ^ _495855) ^ [_608620] : [k04_buttercup10096(_608620), -(b48_buttercup10092(_608620))], (3674 ^ _495855) ^ [_608772] : [b48_buttercup10092(_608772), -(k04_buttercup10096(_608772))], (3680 ^ _495855) ^ [_608989] : [k04_buttercup10097(_608989), -(b48_buttercup10381(_608989))], (3686 ^ _495855) ^ [_609141] : [b48_buttercup10381(_609141), -(k04_buttercup10097(_609141))], (3699 ^ _495855) ^ [] : [-(b48_buttercup10098(3697 ^ []))], (3701 ^ _495855) ^ [] : [k04_buttercup10100(3697 ^ [])], (3692 ^ _495855) ^ [_609349] : [k04_buttercup10100(_609349), -(b48_buttercup10098(_609349))], (3703 ^ _495855) ^ [] : [3707 ^ _495855 : [(3708 ^ _495855) ^ [] : [-(k04_buttercup10100(3704 ^ []))], (3710 ^ _495855) ^ [] : [-(b48_buttercup10102(3704 ^ []))], (3712 ^ _495855) ^ [] : [-(k04_buttercup10100(3705 ^ []))], (3714 ^ _495855) ^ [] : [b48_buttercup10102(3705 ^ [])], (3716 ^ _495855) ^ [] : [k04_buttercup10100(3706 ^ [])], (3718 ^ _495855) ^ [] : [-(b48_buttercup10102(3706 ^ []))]], 3721 ^ _495855 : [(3729 ^ _495855) ^ [] : [-(k04_buttercup10100(3727 ^ []))], (3731 ^ _495855) ^ [] : [b48_buttercup10102(3727 ^ [])], (3722 ^ _495855) ^ [_610251] : [b48_buttercup10102(_610251), -(k04_buttercup10100(_610251))]], 3734 ^ _495855 : [(3742 ^ _495855) ^ [] : [-(b48_buttercup10102(3740 ^ []))], (3744 ^ _495855) ^ [] : [k04_buttercup10100(3740 ^ [])], (3735 ^ _495855) ^ [_610601] : [k04_buttercup10100(_610601), -(b48_buttercup10102(_610601))]], 3745 ^ _495855 : [(3746 ^ _495855) ^ [_610901] : [k04_buttercup10100(_610901), b48_buttercup10102(_610901)]]], (3755 ^ _495855) ^ [] : [-(k04_buttercup10364(3751 ^ []))], (3757 ^ _495855) ^ [] : [-(b48_buttercup10440(3751 ^ []))], (3759 ^ _495855) ^ [] : [-(k04_buttercup10364(3752 ^ []))], (3761 ^ _495855) ^ [] : [b48_buttercup10440(3752 ^ [])], (3763 ^ _495855) ^ [] : [k04_buttercup10364(3753 ^ [])], (3765 ^ _495855) ^ [] : [-(b48_buttercup10440(3753 ^ []))], (3774 ^ _495855) ^ [] : [-(k04_buttercup10364(3772 ^ []))], (3776 ^ _495855) ^ [] : [b48_buttercup10441(3772 ^ [])], (3767 ^ _495855) ^ [_611646] : [b48_buttercup10441(_611646), -(k04_buttercup10364(_611646))], (3778 ^ _495855) ^ [_611995] : [k04_buttercup10369(_611995), -(b48_buttercup10367(_611995))], (3784 ^ _495855) ^ [_612147] : [b48_buttercup10367(_612147), -(k04_buttercup10369(_612147))], (3790 ^ _495855) ^ [_612364] : [k04_buttercup10360(_612364), -(b48_buttercup10359(_612364))], (3796 ^ _495855) ^ [_612516] : [b48_buttercup10359(_612516), -(k04_buttercup10360(_612516))], (3809 ^ _495855) ^ [] : [-(k04_buttercup10364(3807 ^ []))], (3811 ^ _495855) ^ [] : [b48_buttercup10362(3807 ^ [])], (3802 ^ _495855) ^ [_612724] : [b48_buttercup10362(_612724), -(k04_buttercup10364(_612724))], (3820 ^ _495855) ^ [] : [-(b48_buttercup10279(3818 ^ []))], (3822 ^ _495855) ^ [] : [k04_buttercup10282(3818 ^ [])], (3813 ^ _495855) ^ [_613064] : [k04_buttercup10282(_613064), -(b48_buttercup10279(_613064))], (3824 ^ _495855) ^ [_613413] : [k04_buttercup10329(_613413), -(b48_buttercup10326(_613413))], (3830 ^ _495855) ^ [_613565] : [b48_buttercup10326(_613565), -(k04_buttercup10329(_613565))], (3836 ^ _495855) ^ [_613782] : [k04_buttercup10325(_613782), -(b48_buttercup10322(_613782))], (3842 ^ _495855) ^ [_613934] : [b48_buttercup10322(_613934), -(k04_buttercup10325(_613934))], (3855 ^ _495855) ^ [] : [-(k04_buttercup10316(3853 ^ []))], (3857 ^ _495855) ^ [] : [b48_buttercup10320(3853 ^ [])], (3848 ^ _495855) ^ [_614142] : [b48_buttercup10320(_614142), -(k04_buttercup10316(_614142))], (3859 ^ _495855) ^ [_614491] : [k04_buttercup10342(_614491), -(b48_buttercup10605(_614491))], (3865 ^ _495855) ^ [_614643] : [b48_buttercup10605(_614643), -(k04_buttercup10342(_614643))], (3878 ^ _495855) ^ [] : [-(k04_buttercup10347(3876 ^ []))], (3880 ^ _495855) ^ [] : [b48_buttercup10343(3876 ^ [])], (3871 ^ _495855) ^ [_614851] : [b48_buttercup10343(_614851), -(k04_buttercup10347(_614851))], (3882 ^ _495855) ^ [_615200] : [k04_buttercup10544(_615200), -(b48_buttercup10542(_615200))], (3888 ^ _495855) ^ [_615352] : [b48_buttercup10542(_615352), -(k04_buttercup10544(_615352))], (3894 ^ _495855) ^ [_615569] : [k04_buttercup10540(_615569), -(b48_buttercup10541(_615569))], (3900 ^ _495855) ^ [_615721] : [b48_buttercup10541(_615721), -(k04_buttercup10540(_615721))], (3906 ^ _495855) ^ [_615938] : [k04_buttercup10506(_615938), -(b48_buttercup10502(_615938))], (3912 ^ _495855) ^ [_616090] : [b48_buttercup10502(_616090), -(k04_buttercup10506(_616090))], (3918 ^ _495855) ^ [_616307] : [k04_buttercup10510(_616307), -(b48_buttercup10507(_616307))], (3924 ^ _495855) ^ [_616459] : [b48_buttercup10507(_616459), -(k04_buttercup10510(_616459))], (3930 ^ _495855) ^ [_616676] : [k04_buttercup10048(_616676), -(b48_buttercup10046(_616676))], (3936 ^ _495855) ^ [_616828] : [b48_buttercup10046(_616828), -(k04_buttercup10048(_616828))], (3942 ^ _495855) ^ [_617045] : [k04_buttercup10049(_617045), -(b48_buttercup10052(_617045))], (3948 ^ _495855) ^ [_617197] : [b48_buttercup10052(_617197), -(k04_buttercup10049(_617197))], (3954 ^ _495855) ^ [_617414] : [k04_buttercup10051(_617414), -(b48_buttercup10050(_617414))], (3960 ^ _495855) ^ [_617566] : [b48_buttercup10050(_617566), -(k04_buttercup10051(_617566))], (3973 ^ _495855) ^ [] : [-(b48_buttercup10024(3971 ^ []))], (3975 ^ _495855) ^ [] : [k04_buttercup10053(3971 ^ [])], (3966 ^ _495855) ^ [_617774] : [k04_buttercup10053(_617774), -(b48_buttercup10024(_617774))], (3977 ^ _495855) ^ [_618123] : [k04_buttercup10053(_618123), -(b48_buttercup10029(_618123))], (3983 ^ _495855) ^ [_618275] : [b48_buttercup10029(_618275), -(k04_buttercup10053(_618275))], (3989 ^ _495855) ^ [_618492] : [k04_buttercup10213(_618492), -(b48_buttercup10210(_618492))], (3995 ^ _495855) ^ [_618644] : [b48_buttercup10210(_618644), -(k04_buttercup10213(_618644))], (4001 ^ _495855) ^ [_618861] : [k04_buttercup10539(_618861), -(b48_buttercup10538(_618861))], (4007 ^ _495855) ^ [_619013] : [b48_buttercup10538(_619013), -(k04_buttercup10539(_619013))], (4013 ^ _495855) ^ [_619230] : [k04_buttercup10453(_619230), -(b48_buttercup10451(_619230))], (4019 ^ _495855) ^ [_619382] : [b48_buttercup10451(_619382), -(k04_buttercup10453(_619382))], (4025 ^ _495855) ^ [_619599] : [k04_buttercup10449(_619599), -(b48_buttercup10446(_619599))], (4031 ^ _495855) ^ [_619751] : [b48_buttercup10446(_619751), -(k04_buttercup10449(_619751))], (4037 ^ _495855) ^ [_619968] : [k04_buttercup10445(_619968), -(b48_buttercup10443(_619968))], (4043 ^ _495855) ^ [_620120] : [b48_buttercup10443(_620120), -(k04_buttercup10445(_620120))], (4056 ^ _495855) ^ [] : [-(k04_buttercup10567(4054 ^ []))], (4058 ^ _495855) ^ [] : [b48_buttercup10570(4054 ^ [])], (4049 ^ _495855) ^ [_620328] : [b48_buttercup10570(_620328), -(k04_buttercup10567(_620328))], (4060 ^ _495855) ^ [_620677] : [k04_buttercup10415(_620677), -(b48_buttercup10411(_620677))], (4066 ^ _495855) ^ [_620829] : [b48_buttercup10411(_620829), -(k04_buttercup10415(_620829))], (4072 ^ _495855) ^ [_621046] : [k04_buttercup10408(_621046), -(b48_buttercup10410(_621046))], (4078 ^ _495855) ^ [_621198] : [b48_buttercup10410(_621198), -(k04_buttercup10408(_621198))], (4091 ^ _495855) ^ [] : [-(k04_buttercup10567(4089 ^ []))], (4093 ^ _495855) ^ [] : [b48_buttercup10574(4089 ^ [])], (4084 ^ _495855) ^ [_621406] : [b48_buttercup10574(_621406), -(k04_buttercup10567(_621406))], (4095 ^ _495855) ^ [_621755] : [k04_buttercup10404(_621755), -(b48_buttercup10402(_621755))], (4101 ^ _495855) ^ [_621907] : [b48_buttercup10402(_621907), -(k04_buttercup10404(_621907))], (4107 ^ _495855) ^ [_622124] : [k04_buttercup10406(_622124), -(b48_buttercup10405(_622124))], (4113 ^ _495855) ^ [_622276] : [b48_buttercup10405(_622276), -(k04_buttercup10406(_622276))], (4126 ^ _495855) ^ [] : [-(k04_buttercup10132(4124 ^ []))], (4128 ^ _495855) ^ [] : [b48_buttercup10133(4124 ^ [])], (4119 ^ _495855) ^ [_622484] : [b48_buttercup10133(_622484), -(k04_buttercup10132(_622484))], (4137 ^ _495855) ^ [] : [-(k04_buttercup10132(4135 ^ []))], (4139 ^ _495855) ^ [] : [b48_buttercup10134(4135 ^ [])], (4130 ^ _495855) ^ [_622824] : [b48_buttercup10134(_622824), -(k04_buttercup10132(_622824))], (4141 ^ _495855) ^ [_623173] : [k04_buttercup10132(_623173), -(b48_buttercup10130(_623173))], (4147 ^ _495855) ^ [_623325] : [b48_buttercup10130(_623325), -(k04_buttercup10132(_623325))], (4153 ^ _495855) ^ [_623542] : [k04_buttercup10316(_623542), -(b48_buttercup10313(_623542))], (4159 ^ _495855) ^ [_623694] : [b48_buttercup10313(_623694), -(k04_buttercup10316(_623694))], (4165 ^ _495855) ^ [_623911] : [k04_buttercup10312(_623911), -(b48_buttercup10309(_623911))], (4171 ^ _495855) ^ [_624063] : [b48_buttercup10309(_624063), -(k04_buttercup10312(_624063))], (4184 ^ _495855) ^ [] : [-(k04_buttercup10303(4182 ^ []))], (4186 ^ _495855) ^ [] : [b48_buttercup10308(4182 ^ [])], (4177 ^ _495855) ^ [_624271] : [b48_buttercup10308(_624271), -(k04_buttercup10303(_624271))], (4195 ^ _495855) ^ [] : [-(k04_buttercup10172(4193 ^ []))], (4197 ^ _495855) ^ [] : [b48_buttercup10173(4193 ^ [])], (4188 ^ _495855) ^ [_624611] : [b48_buttercup10173(_624611), -(k04_buttercup10172(_624611))], (4199 ^ _495855) ^ [_624960] : [k04_buttercup10172(_624960), -(b48_buttercup10170(_624960))], (4205 ^ _495855) ^ [_625112] : [b48_buttercup10170(_625112), -(k04_buttercup10172(_625112))], (4218 ^ _495855) ^ [] : [-(k04_buttercup10164(4216 ^ []))], (4220 ^ _495855) ^ [] : [b48_buttercup10169(4216 ^ [])], (4211 ^ _495855) ^ [_625320] : [b48_buttercup10169(_625320), -(k04_buttercup10164(_625320))], (4229 ^ _495855) ^ [] : [-(k04_buttercup10164(4227 ^ []))], (4231 ^ _495855) ^ [] : [b48_buttercup10166(4227 ^ [])], (4222 ^ _495855) ^ [_625660] : [b48_buttercup10166(_625660), -(k04_buttercup10164(_625660))], (4240 ^ _495855) ^ [] : [-(k04_buttercup10164(4238 ^ []))], (4242 ^ _495855) ^ [] : [b48_buttercup10167(4238 ^ [])], (4233 ^ _495855) ^ [_626000] : [b48_buttercup10167(_626000), -(k04_buttercup10164(_626000))], (4251 ^ _495855) ^ [] : [-(k04_buttercup10172(4249 ^ []))], (4253 ^ _495855) ^ [] : [b48_buttercup10174(4249 ^ [])], (4244 ^ _495855) ^ [_626340] : [b48_buttercup10174(_626340), -(k04_buttercup10172(_626340))], (4255 ^ _495855) ^ [_626689] : [k04_buttercup10181(_626689), -(b48_buttercup10180(_626689))], (4261 ^ _495855) ^ [_626841] : [b48_buttercup10180(_626841), -(k04_buttercup10181(_626841))], (4267 ^ _495855) ^ [_627058] : [k04_buttercup10244(_627058), -(b48_buttercup10240(_627058))], (4273 ^ _495855) ^ [_627210] : [b48_buttercup10240(_627210), -(k04_buttercup10244(_627210))], (4279 ^ _495855) ^ [_627427] : [k04_buttercup10611(_627427), -(b48_buttercup10609(_627427))], (4285 ^ _495855) ^ [_627579] : [b48_buttercup10609(_627579), -(k04_buttercup10611(_627579))], (4298 ^ _495855) ^ [] : [-(b48_buttercup10201(4296 ^ []))], (4300 ^ _495855) ^ [] : [k04_buttercup10608(4296 ^ [])], (4291 ^ _495855) ^ [_627787] : [k04_buttercup10608(_627787), -(b48_buttercup10201(_627787))], (4302 ^ _495855) ^ [_628136] : [k04_buttercup10608(_628136), -(b48_buttercup10214(_628136))], (4308 ^ _495855) ^ [_628288] : [b48_buttercup10214(_628288), -(k04_buttercup10608(_628288))], (4314 ^ _495855) ^ [_628505] : [k04_buttercup10219(_628505), -(b48_buttercup10217(_628505))], (4320 ^ _495855) ^ [_628657] : [b48_buttercup10217(_628657), -(k04_buttercup10219(_628657))], (4326 ^ _495855) ^ [_628874] : [k04_buttercup10221(_628874), -(b48_buttercup10208(_628874))], (4332 ^ _495855) ^ [_629026] : [b48_buttercup10208(_629026), -(k04_buttercup10221(_629026))], (4345 ^ _495855) ^ [] : [-(b48_buttercup10201(4343 ^ []))], (4347 ^ _495855) ^ [] : [k04_buttercup10221(4343 ^ [])], (4338 ^ _495855) ^ [_629234] : [k04_buttercup10221(_629234), -(b48_buttercup10201(_629234))], (4356 ^ _495855) ^ [] : [-(b48_buttercup10222(4354 ^ []))], (4358 ^ _495855) ^ [] : [k04_buttercup10225(4354 ^ [])], (4349 ^ _495855) ^ [_629574] : [k04_buttercup10225(_629574), -(b48_buttercup10222(_629574))], (4360 ^ _495855) ^ [_629923] : [k04_buttercup10044(_629923), -(b48_buttercup10043(_629923))], (4366 ^ _495855) ^ [_630075] : [b48_buttercup10043(_630075), -(k04_buttercup10044(_630075))], (4372 ^ _495855) ^ [_630292] : [k04_buttercup10042(_630292), -(b48_buttercup10045(_630292))], (4378 ^ _495855) ^ [_630444] : [b48_buttercup10045(_630444), -(k04_buttercup10042(_630444))], (4384 ^ _495855) ^ [_630661] : [k04_buttercup10477(_630661), -(b48_buttercup10474(_630661))], (4390 ^ _495855) ^ [_630813] : [b48_buttercup10474(_630813), -(k04_buttercup10477(_630813))], (4396 ^ _495855) ^ [_631030] : [k04_buttercup10473(_631030), -(b48_buttercup10471(_631030))], (4402 ^ _495855) ^ [_631182] : [b48_buttercup10471(_631182), -(k04_buttercup10473(_631182))], (4408 ^ _495855) ^ [_631399] : [k04_buttercup10470(_631399), -(b48_buttercup10469(_631399))], (4414 ^ _495855) ^ [_631551] : [b48_buttercup10469(_631551), -(k04_buttercup10470(_631551))], (4427 ^ _495855) ^ [] : [-(k04_buttercup10095(4425 ^ []))], (4429 ^ _495855) ^ [] : [b48_buttercup10092(4425 ^ [])], (4420 ^ _495855) ^ [_631759] : [b48_buttercup10092(_631759), -(k04_buttercup10095(_631759))], (4431 ^ _495855) ^ [_632108] : [k04_buttercup10380(_632108), -(b48_buttercup10378(_632108))], (4437 ^ _495855) ^ [_632260] : [b48_buttercup10378(_632260), -(k04_buttercup10380(_632260))], (4443 ^ _495855) ^ [_632477] : [k04_buttercup10371(_632477), -(b48_buttercup10370(_632477))], (4449 ^ _495855) ^ [_632629] : [b48_buttercup10370(_632629), -(k04_buttercup10371(_632629))], (4455 ^ _495855) ^ [_632846] : [k04_buttercup10373(_632846), -(b48_buttercup10377(_632846))], (4461 ^ _495855) ^ [_632998] : [b48_buttercup10377(_632998), -(k04_buttercup10373(_632998))], (4467 ^ _495855) ^ [_633215] : [k04_buttercup10376(_633215), -(b48_buttercup10374(_633215))], (4473 ^ _495855) ^ [_633367] : [b48_buttercup10374(_633367), -(k04_buttercup10376(_633367))], (4486 ^ _495855) ^ [] : [-(k04_buttercup10259(4484 ^ []))], (4488 ^ _495855) ^ [] : [b48_buttercup10261(4484 ^ [])], (4479 ^ _495855) ^ [_633575] : [b48_buttercup10261(_633575), -(k04_buttercup10259(_633575))], (4490 ^ _495855) ^ [_633924] : [k04_buttercup10255(_633924), -(b48_buttercup10253(_633924))], (4496 ^ _495855) ^ [_634076] : [b48_buttercup10253(_634076), -(k04_buttercup10255(_634076))], (4509 ^ _495855) ^ [] : [-(k04_buttercup10259(4507 ^ []))], (4511 ^ _495855) ^ [] : [b48_buttercup10260(4507 ^ [])], (4502 ^ _495855) ^ [_634284] : [b48_buttercup10260(_634284), -(k04_buttercup10259(_634284))], (4513 ^ _495855) ^ [_634633] : [k04_buttercup10499(_634633), -(b48_buttercup10496(_634633))], (4519 ^ _495855) ^ [_634785] : [b48_buttercup10496(_634785), -(k04_buttercup10499(_634785))], (4532 ^ _495855) ^ [] : [-(k04_buttercup10190(4530 ^ []))], (4534 ^ _495855) ^ [] : [b48_buttercup10191(4530 ^ [])], (4525 ^ _495855) ^ [_634993] : [b48_buttercup10191(_634993), -(k04_buttercup10190(_634993))], (4536 ^ _495855) ^ [_635342] : [k04_buttercup10190(_635342), -(b48_buttercup10186(_635342))], (4542 ^ _495855) ^ [_635494] : [b48_buttercup10186(_635494), -(k04_buttercup10190(_635494))], (4555 ^ _495855) ^ [] : [-(k04_buttercup10347(4553 ^ []))], (4557 ^ _495855) ^ [] : [b48_buttercup10344(4553 ^ [])], (4548 ^ _495855) ^ [_635702] : [b48_buttercup10344(_635702), -(k04_buttercup10347(_635702))], (4559 ^ _495855) ^ [_636051] : [k04_buttercup10117(_636051), -(b48_buttercup10115(_636051))], (4565 ^ _495855) ^ [_636203] : [b48_buttercup10115(_636203), -(k04_buttercup10117(_636203))], (4571 ^ _495855) ^ [_636420] : [k04_buttercup10125(_636420), -(b48_buttercup10121(_636420))], (4577 ^ _495855) ^ [_636572] : [b48_buttercup10121(_636572), -(k04_buttercup10125(_636572))], (4590 ^ _495855) ^ [] : [-(k04_buttercup10117(4588 ^ []))], (4592 ^ _495855) ^ [] : [b48_buttercup10120(4588 ^ [])], (4583 ^ _495855) ^ [_636780] : [b48_buttercup10120(_636780), -(k04_buttercup10117(_636780))], (4601 ^ _495855) ^ [] : [-(k04_buttercup10567(4599 ^ []))], (4603 ^ _495855) ^ [] : [b48_buttercup10572(4599 ^ [])], (4594 ^ _495855) ^ [_637120] : [b48_buttercup10572(_637120), -(k04_buttercup10567(_637120))], (4605 ^ _495855) ^ [_637469] : [k04_buttercup10039(_637469), -(b48_buttercup10035(_637469))], (4611 ^ _495855) ^ [_637621] : [b48_buttercup10035(_637621), -(k04_buttercup10039(_637621))], (4617 ^ _495855) ^ [_637838] : [k04_buttercup10033(_637838), -(b48_buttercup10031(_637838))], (4623 ^ _495855) ^ [_637990] : [b48_buttercup10031(_637990), -(k04_buttercup10033(_637990))], (4629 ^ _495855) ^ [_638207] : [k04_buttercup10028(_638207), -(b48_buttercup10034(_638207))], (4635 ^ _495855) ^ [_638359] : [b48_buttercup10034(_638359), -(k04_buttercup10028(_638359))], (4641 ^ _495855) ^ [_638576] : [k04_buttercup10578(_638576), -(b48_buttercup10575(_638576))], (4647 ^ _495855) ^ [_638728] : [b48_buttercup10575(_638728), -(k04_buttercup10578(_638728))], (4653 ^ _495855) ^ [_638945] : [k04_buttercup10430(_638945), -(b48_buttercup10427(_638945))], (4659 ^ _495855) ^ [_639097] : [b48_buttercup10427(_639097), -(k04_buttercup10430(_639097))], (4672 ^ _495855) ^ [] : [-(k04_buttercup10419(4670 ^ []))], (4674 ^ _495855) ^ [] : [b48_buttercup10422(4670 ^ [])], (4665 ^ _495855) ^ [_639305] : [b48_buttercup10422(_639305), -(k04_buttercup10419(_639305))], (4728 ^ _495855) ^ [] : [-(k04_buttercup10419(4724 ^ []))], (4730 ^ _495855) ^ [] : [-(b48_buttercup10222(4724 ^ []))], (4732 ^ _495855) ^ [] : [-(k04_buttercup10419(4725 ^ []))], (4734 ^ _495855) ^ [] : [b48_buttercup10222(4725 ^ [])], (4736 ^ _495855) ^ [] : [k04_buttercup10419(4726 ^ [])], (4738 ^ _495855) ^ [] : [-(b48_buttercup10222(4726 ^ []))], (4754 ^ _495855) ^ [] : [-(k04_buttercup10419(4750 ^ []))], (4756 ^ _495855) ^ [] : [-(b48_buttercup10417(4750 ^ []))], (4758 ^ _495855) ^ [] : [-(k04_buttercup10419(4751 ^ []))], (4760 ^ _495855) ^ [] : [b48_buttercup10417(4751 ^ [])], (4762 ^ _495855) ^ [] : [k04_buttercup10419(4752 ^ [])], (4764 ^ _495855) ^ [] : [-(b48_buttercup10417(4752 ^ []))], (4767 ^ _495855) ^ [] : [-(k04_buttercup10282(4765 ^ []))], (4770 ^ _495855) ^ [] : [-(k04_buttercup10286(4768 ^ []))], (4773 ^ _495855) ^ [] : [-(k04_buttercup10184(4771 ^ []))], (4776 ^ _495855) ^ [] : [-(k04_buttercup10288(4774 ^ []))], (4779 ^ _495855) ^ [] : [-(k04_buttercup10164(4777 ^ []))], (4782 ^ _495855) ^ [] : [-(k04_buttercup10539(4780 ^ []))], (4785 ^ _495855) ^ [] : [-(k04_buttercup10044(4783 ^ []))], (4788 ^ _495855) ^ [] : [-(k04_buttercup10084(4786 ^ []))], (4791 ^ _495855) ^ [] : [-(k04_buttercup10042(4789 ^ []))], (4794 ^ _495855) ^ [] : [-(k04_buttercup10200(4792 ^ []))], (4797 ^ _495855) ^ [] : [-(k04_buttercup10049(4795 ^ []))], (4800 ^ _495855) ^ [] : [-(k04_buttercup10048(4798 ^ []))], (4803 ^ _495855) ^ [] : [-(k04_buttercup10535(4801 ^ []))], (4806 ^ _495855) ^ [] : [-(k04_buttercup10204(4804 ^ []))], (4809 ^ _495855) ^ [] : [-(k04_buttercup10369(4807 ^ []))], (4812 ^ _495855) ^ [] : [-(k04_buttercup10635(4810 ^ []))], (4815 ^ _495855) ^ [] : [-(k04_buttercup10445(4813 ^ []))], (4818 ^ _495855) ^ [] : [-(k04_buttercup10631(4816 ^ []))], (4821 ^ _495855) ^ [] : [-(k04_buttercup10360(4819 ^ []))], (4824 ^ _495855) ^ [] : [-(k04_buttercup10139(4822 ^ []))], (4827 ^ _495855) ^ [] : [-(k04_buttercup10364(4825 ^ []))], (4830 ^ _495855) ^ [] : [-(k04_buttercup10639(4828 ^ []))], (4833 ^ _495855) ^ [] : [-(k04_buttercup10079(4831 ^ []))], (4836 ^ _495855) ^ [] : [-(k04_buttercup10172(4834 ^ []))], (4839 ^ _495855) ^ [] : [-(k04_buttercup10504(4837 ^ []))], (4842 ^ _495855) ^ [] : [-(k04_buttercup10506(4840 ^ []))], (4845 ^ _495855) ^ [] : [-(k04_buttercup10074(4843 ^ []))], (4848 ^ _495855) ^ [] : [-(k04_buttercup10236(4846 ^ []))], (4851 ^ _495855) ^ [] : [-(k04_buttercup10477(4849 ^ []))], (4854 ^ _495855) ^ [] : [-(k04_buttercup10470(4852 ^ []))], (4857 ^ _495855) ^ [] : [-(k04_buttercup10473(4855 ^ []))], (4860 ^ _495855) ^ [] : [-(k04_buttercup10376(4858 ^ []))], (4863 ^ _495855) ^ [] : [-(k04_buttercup10626(4861 ^ []))], (4866 ^ _495855) ^ [] : [-(k04_buttercup10373(4864 ^ []))], (4869 ^ _495855) ^ [] : [-(k04_buttercup10234(4867 ^ []))], (4872 ^ _495855) ^ [] : [-(k04_buttercup10371(4870 ^ []))], (4875 ^ _495855) ^ [] : [-(k04_buttercup10622(4873 ^ []))], (4878 ^ _495855) ^ [] : [-(k04_buttercup10586(4876 ^ []))], (4881 ^ _495855) ^ [] : [-(k04_buttercup10628(4879 ^ []))], (4884 ^ _495855) ^ [] : [-(k04_buttercup10486(4882 ^ []))], (4887 ^ _495855) ^ [] : [-(k04_buttercup10389(4885 ^ []))], (4890 ^ _495855) ^ [] : [-(k04_buttercup10142(4888 ^ []))], (4893 ^ _495855) ^ [] : [-(k04_buttercup10382(4891 ^ []))], (4896 ^ _495855) ^ [] : [-(k04_buttercup10380(4894 ^ []))], (4899 ^ _495855) ^ [] : [-(k04_buttercup10064(4897 ^ []))], (4902 ^ _495855) ^ [] : [-(k04_buttercup10061(4900 ^ []))], (4905 ^ _495855) ^ [] : [-(k04_buttercup10385(4903 ^ []))], (4908 ^ _495855) ^ [] : [-(k04_buttercup10510(4906 ^ []))], (4911 ^ _495855) ^ [] : [-(k04_buttercup10517(4909 ^ []))], (4914 ^ _495855) ^ [] : [-(k04_buttercup10516(4912 ^ []))], (4917 ^ _495855) ^ [] : [-(k04_buttercup10462(4915 ^ []))], (4920 ^ _495855) ^ [] : [-(k04_buttercup10464(4918 ^ []))], (4923 ^ _495855) ^ [] : [-(k04_buttercup10303(4921 ^ []))], (4926 ^ _495855) ^ [] : [-(k04_buttercup10599(4924 ^ []))], (4929 ^ _495855) ^ [] : [-(k04_buttercup10593(4927 ^ []))], (4932 ^ _495855) ^ [] : [-(k04_buttercup10619(4930 ^ []))], (4935 ^ _495855) ^ [] : [-(k04_buttercup10206(4933 ^ []))], (4938 ^ _495855) ^ [] : [-(k04_buttercup10391(4936 ^ []))], (4941 ^ _495855) ^ [] : [-(k04_buttercup10153(4939 ^ []))], (4944 ^ _495855) ^ [] : [-(k04_buttercup10637(4942 ^ []))], (4947 ^ _495855) ^ [] : [-(k04_buttercup10012(4945 ^ []))], (4950 ^ _495855) ^ [] : [-(k04_buttercup10611(4948 ^ []))], (4953 ^ _495855) ^ [] : [-(k04_buttercup10016(4951 ^ []))], (4956 ^ _495855) ^ [] : [-(k04_buttercup10397(4954 ^ []))], (4959 ^ _495855) ^ [] : [-(k04_buttercup10495(4957 ^ []))], (4962 ^ _495855) ^ [] : [-(k04_buttercup10492(4960 ^ []))], (4965 ^ _495855) ^ [] : [-(k04_buttercup10608(4963 ^ []))], (4968 ^ _495855) ^ [] : [-(k04_buttercup10567(4966 ^ []))], (4971 ^ _495855) ^ [] : [-(k04_buttercup10602(4969 ^ []))], (4974 ^ _495855) ^ [] : [-(k04_buttercup10499(4972 ^ []))], (4977 ^ _495855) ^ [] : [-(k04_buttercup10259(4975 ^ []))], (4980 ^ _495855) ^ [] : [-(k04_buttercup10312(4978 ^ []))], (4983 ^ _495855) ^ [] : [-(k04_buttercup10096(4981 ^ []))], (4986 ^ _495855) ^ [] : [-(k04_buttercup10097(4984 ^ []))], (4989 ^ _495855) ^ [] : [-(k04_buttercup10419(4987 ^ []))], (4992 ^ _495855) ^ [] : [-(k04_buttercup10252(4990 ^ []))], (4995 ^ _495855) ^ [] : [-(k04_buttercup10415(4993 ^ []))], (4998 ^ _495855) ^ [] : [-(k04_buttercup10255(4996 ^ []))], (5001 ^ _495855) ^ [] : [-(k04_buttercup10449(4999 ^ []))], (5004 ^ _495855) ^ [] : [-(k04_buttercup10053(5002 ^ []))], (5007 ^ _495855) ^ [] : [-(k04_buttercup10147(5005 ^ []))], (5010 ^ _495855) ^ [] : [-(k04_buttercup10000(5008 ^ []))], (5013 ^ _495855) ^ [] : [-(k04_buttercup10004(5011 ^ []))], (5016 ^ _495855) ^ [] : [-(k04_buttercup10400(5014 ^ []))], (5019 ^ _495855) ^ [] : [-(k04_buttercup10125(5017 ^ []))], (5022 ^ _495855) ^ [] : [-(k04_buttercup10329(5020 ^ []))], (5025 ^ _495855) ^ [] : [-(k04_buttercup10482(5023 ^ []))], (5028 ^ _495855) ^ [] : [-(k04_buttercup10325(5026 ^ []))], (5031 ^ _495855) ^ [] : [-(k04_buttercup10581(5029 ^ []))], (5034 ^ _495855) ^ [] : [-(k04_buttercup10244(5032 ^ []))], (5037 ^ _495855) ^ [] : [-(k04_buttercup10408(5035 ^ []))], (5040 ^ _495855) ^ [] : [-(k04_buttercup10089(5038 ^ []))], (5043 ^ _495855) ^ [] : [-(k04_buttercup10404(5041 ^ []))], (5046 ^ _495855) ^ [] : [-(k04_buttercup10406(5044 ^ []))], (5049 ^ _495855) ^ [] : [-(k04_buttercup10578(5047 ^ []))], (5052 ^ _495855) ^ [] : [-(k04_buttercup10067(5050 ^ []))], (5055 ^ _495855) ^ [] : [-(k04_buttercup10033(5053 ^ []))], (5058 ^ _495855) ^ [] : [-(k04_buttercup10039(5056 ^ []))], (5061 ^ _495855) ^ [] : [-(k04_buttercup10135(5059 ^ []))], (5064 ^ _495855) ^ [] : [-(k04_buttercup10132(5062 ^ []))], (5067 ^ _495855) ^ [] : [-(k04_buttercup10333(5065 ^ []))], (5070 ^ _495855) ^ [] : [-(k04_buttercup10337(5068 ^ []))], (5073 ^ _495855) ^ [] : [-(k04_buttercup10540(5071 ^ []))], (5076 ^ _495855) ^ [] : [-(k04_buttercup10544(5074 ^ []))], (5079 ^ _495855) ^ [] : [-(k04_buttercup10546(5077 ^ []))], (5082 ^ _495855) ^ [] : [-(k04_buttercup10547(5080 ^ []))], (5085 ^ _495855) ^ [] : [-(k04_buttercup10430(5083 ^ []))], (5088 ^ _495855) ^ [] : [-(k04_buttercup10238(5086 ^ []))], (5091 ^ _495855) ^ [] : [-(k04_buttercup10095(5089 ^ []))], (5094 ^ _495855) ^ [] : [-(k04_buttercup10437(5092 ^ []))], (5097 ^ _495855) ^ [] : [-(k04_buttercup10026(5095 ^ []))], (5100 ^ _495855) ^ [] : [-(k04_buttercup10028(5098 ^ []))], (5103 ^ _495855) ^ [] : [-(k04_buttercup10100(5101 ^ []))], (5106 ^ _495855) ^ [] : [-(k04_buttercup10559(5104 ^ []))], (5109 ^ _495855) ^ [] : [-(k04_buttercup10555(5107 ^ []))], (5112 ^ _495855) ^ [] : [-(k04_buttercup10551(5110 ^ []))], (5115 ^ _495855) ^ [] : [-(k04_buttercup10221(5113 ^ []))], (5118 ^ _495855) ^ [] : [-(k04_buttercup10425(5116 ^ []))], (5121 ^ _495855) ^ [] : [-(k04_buttercup10424(5119 ^ []))], (5124 ^ _495855) ^ [] : [-(k04_buttercup10225(5122 ^ []))], (5127 ^ _495855) ^ [] : [-(k04_buttercup10181(5125 ^ []))], (5130 ^ _495855) ^ [] : [-(k04_buttercup10342(5128 ^ []))], (5133 ^ _495855) ^ [] : [-(k04_buttercup10620(5131 ^ []))], (5136 ^ _495855) ^ [] : [-(k04_buttercup10296(5134 ^ []))], (5139 ^ _495855) ^ [] : [-(k04_buttercup10293(5137 ^ []))], (5142 ^ _495855) ^ [] : [-(k04_buttercup10117(5140 ^ []))], (5145 ^ _495855) ^ [] : [-(k04_buttercup10298(5143 ^ []))], (5148 ^ _495855) ^ [] : [-(k04_buttercup10643(5146 ^ []))], (5151 ^ _495855) ^ [] : [-(k04_buttercup10057(5149 ^ []))], (5154 ^ _495855) ^ [] : [-(k04_buttercup10641(5152 ^ []))], (5157 ^ _495855) ^ [] : [-(k04_buttercup10529(5155 ^ []))], (5160 ^ _495855) ^ [] : [-(k04_buttercup10219(5158 ^ []))], (5163 ^ _495855) ^ [] : [-(k04_buttercup10051(5161 ^ []))], (5166 ^ _495855) ^ [] : [-(k04_buttercup10316(5164 ^ []))], (5169 ^ _495855) ^ [] : [-(k04_buttercup10524(5167 ^ []))], (5172 ^ _495855) ^ [] : [-(k04_buttercup10213(5170 ^ []))], (5175 ^ _495855) ^ [] : [-(k04_buttercup10453(5173 ^ []))], (5178 ^ _495855) ^ [] : [-(k04_buttercup10190(5176 ^ []))], (5181 ^ _495855) ^ [] : [-(k04_buttercup10357(5179 ^ []))], (5184 ^ _495855) ^ [] : [-(k04_buttercup10356(5182 ^ []))], (5187 ^ _495855) ^ [] : [-(k04_buttercup10351(5185 ^ []))], (5190 ^ _495855) ^ [] : [-(k04_buttercup10347(5188 ^ []))], (5193 ^ _495855) ^ [] : [-(b48_buttercup10283(5191 ^ []))], (5196 ^ _495855) ^ [] : [-(b48_buttercup10169(5194 ^ []))], (5199 ^ _495855) ^ [] : [-(b48_buttercup10502(5197 ^ []))], (5202 ^ _495855) ^ [] : [-(b48_buttercup10289(5200 ^ []))], (5205 ^ _495855) ^ [] : [-(b48_buttercup10161(5203 ^ []))], (5208 ^ _495855) ^ [] : [-(b48_buttercup10166(5206 ^ []))], (5211 ^ _495855) ^ [] : [-(b48_buttercup10167(5209 ^ []))], (5214 ^ _495855) ^ [] : [-(b48_buttercup10260(5212 ^ []))], (5217 ^ _495855) ^ [] : [-(b48_buttercup10045(5215 ^ []))], (5220 ^ _495855) ^ [] : [-(b48_buttercup10538(5218 ^ []))], (5223 ^ _495855) ^ [] : [-(b48_buttercup10046(5221 ^ []))], (5226 ^ _495855) ^ [] : [-(b48_buttercup10043(5224 ^ []))], (5229 ^ _495855) ^ [] : [-(b48_buttercup10332(5227 ^ []))], (5232 ^ _495855) ^ [] : [-(b48_buttercup10531(5230 ^ []))], (5235 ^ _495855) ^ [] : [-(b48_buttercup10530(5233 ^ []))], (5238 ^ _495855) ^ [] : [-(b48_buttercup10201(5236 ^ []))], (5241 ^ _495855) ^ [] : [-(b48_buttercup10441(5239 ^ []))], (5244 ^ _495855) ^ [] : [-(b48_buttercup10440(5242 ^ []))], (5247 ^ _495855) ^ [] : [-(b48_buttercup10443(5245 ^ []))], (5250 ^ _495855) ^ [] : [-(b48_buttercup10442(5248 ^ []))], (5253 ^ _495855) ^ [] : [-(b48_buttercup10632(5251 ^ []))], (5256 ^ _495855) ^ [] : [-(b48_buttercup10446(5254 ^ []))], (5259 ^ _495855) ^ [] : [-(b48_buttercup10361(5257 ^ []))], (5262 ^ _495855) ^ [] : [-(b48_buttercup10362(5260 ^ []))], (5265 ^ _495855) ^ [] : [-(b48_buttercup10358(5263 ^ []))], (5268 ^ _495855) ^ [] : [-(b48_buttercup10365(5266 ^ []))], (5271 ^ _495855) ^ [] : [-(b48_buttercup10638(5269 ^ []))], (5274 ^ _495855) ^ [] : [-(b48_buttercup10367(5272 ^ []))], (5277 ^ _495855) ^ [] : [-(b48_buttercup10421(5275 ^ []))], (5280 ^ _495855) ^ [] : [-(b48_buttercup10160(5278 ^ []))], (5283 ^ _495855) ^ [] : [-(b48_buttercup10179(5281 ^ []))], (5286 ^ _495855) ^ [] : [-(b48_buttercup10279(5284 ^ []))], (5289 ^ _495855) ^ [] : [-(b48_buttercup10170(5287 ^ []))], (5292 ^ _495855) ^ [] : [-(b48_buttercup10173(5290 ^ []))], (5295 ^ _495855) ^ [] : [-(b48_buttercup10174(5293 ^ []))], (5298 ^ _495855) ^ [] : [-(b48_buttercup10176(5296 ^ []))], (5301 ^ _495855) ^ [] : [-(b48_buttercup10070(5299 ^ []))], (5304 ^ _495855) ^ [] : [-(b48_buttercup10072(5302 ^ []))], (5307 ^ _495855) ^ [] : [-(b48_buttercup10507(5305 ^ []))], (5310 ^ _495855) ^ [] : [-(b48_buttercup10478(5308 ^ []))], (5313 ^ _495855) ^ [] : [-(b48_buttercup10075(5311 ^ []))], (5316 ^ _495855) ^ [] : [-(b48_buttercup10076(5314 ^ []))], (5319 ^ _495855) ^ [] : [-(b48_buttercup10474(5317 ^ []))], (5322 ^ _495855) ^ [] : [-(b48_buttercup10471(5320 ^ []))], (5325 ^ _495855) ^ [] : [-(b48_buttercup10377(5323 ^ []))], (5328 ^ _495855) ^ [] : [-(b48_buttercup10624(5326 ^ []))], (5331 ^ _495855) ^ [] : [-(b48_buttercup10374(5329 ^ []))], (5334 ^ _495855) ^ [] : [-(b48_buttercup10589(5332 ^ []))], (5337 ^ _495855) ^ [] : [-(b48_buttercup10278(5335 ^ []))], (5340 ^ _495855) ^ [] : [-(b48_buttercup10370(5338 ^ []))], (5343 ^ _495855) ^ [] : [-(b48_buttercup10276(5341 ^ []))], (5346 ^ _495855) ^ [] : [-(b48_buttercup10277(5344 ^ []))], (5349 ^ _495855) ^ [] : [-(b48_buttercup10274(5347 ^ []))], (5352 ^ _495855) ^ [] : [-(b48_buttercup10275(5350 ^ []))], (5355 ^ _495855) ^ [] : [-(b48_buttercup10629(5353 ^ []))], (5358 ^ _495855) ^ [] : [-(b48_buttercup10273(5356 ^ []))], (5361 ^ _495855) ^ [] : [-(b48_buttercup10582(5359 ^ []))], (5364 ^ _495855) ^ [] : [-(b48_buttercup10378(5362 ^ []))], (5367 ^ _495855) ^ [] : [-(b48_buttercup10208(5365 ^ []))], (5370 ^ _495855) ^ [] : [-(b48_buttercup10483(5368 ^ []))], (5373 ^ _495855) ^ [] : [-(b48_buttercup10068(5371 ^ []))], (5376 ^ _495855) ^ [] : [-(b48_buttercup10383(5374 ^ []))], (5379 ^ _495855) ^ [] : [-(b48_buttercup10065(5377 ^ []))], (5382 ^ _495855) ^ [] : [-(b48_buttercup10381(5380 ^ []))], (5385 ^ _495855) ^ [] : [-(b48_buttercup10386(5383 ^ []))], (5388 ^ _495855) ^ [] : [-(b48_buttercup10513(5386 ^ []))], (5391 ^ _495855) ^ [] : [-(b48_buttercup10512(5389 ^ []))], (5394 ^ _495855) ^ [] : [-(b48_buttercup10469(5392 ^ []))], (5397 ^ _495855) ^ [] : [-(b48_buttercup10019(5395 ^ []))], (5400 ^ _495855) ^ [] : [-(b48_buttercup10515(5398 ^ []))], (5403 ^ _495855) ^ [] : [-(b48_buttercup10514(5401 ^ []))], (5406 ^ _495855) ^ [] : [-(b48_buttercup10519(5404 ^ []))], (5409 ^ _495855) ^ [] : [-(b48_buttercup10460(5407 ^ []))], (5412 ^ _495855) ^ [] : [-(b48_buttercup10467(5410 ^ []))], (5415 ^ _495855) ^ [] : [-(b48_buttercup10466(5413 ^ []))], (5418 ^ _495855) ^ [] : [-(b48_buttercup10465(5416 ^ []))], (5421 ^ _495855) ^ [] : [-(b48_buttercup10272(5419 ^ []))], (5424 ^ _495855) ^ [] : [-(b48_buttercup10612(5422 ^ []))], (5427 ^ _495855) ^ [] : [-(b48_buttercup10269(5425 ^ []))], (5430 ^ _495855) ^ [] : [-(b48_buttercup10307(5428 ^ []))], (5433 ^ _495855) ^ [] : [-(b48_buttercup10616(5431 ^ []))], (5436 ^ _495855) ^ [] : [-(b48_buttercup10305(5434 ^ []))], (5439 ^ _495855) ^ [] : [-(b48_buttercup10489(5437 ^ []))], (5442 ^ _495855) ^ [] : [-(b48_buttercup10267(5440 ^ []))], (5445 ^ _495855) ^ [] : [-(b48_buttercup10266(5443 ^ []))], (5448 ^ _495855) ^ [] : [-(b48_buttercup10261(5446 ^ []))], (5451 ^ _495855) ^ [] : [-(b48_buttercup10596(5449 ^ []))], (5454 ^ _495855) ^ [] : [-(b48_buttercup10182(5452 ^ []))], (5457 ^ _495855) ^ [] : [-(b48_buttercup10575(5455 ^ []))], (5460 ^ _495855) ^ [] : [-(b48_buttercup10150(5458 ^ []))], (5463 ^ _495855) ^ [] : [-(b48_buttercup10156(5461 ^ []))], (5466 ^ _495855) ^ [] : [-(b48_buttercup10154(5464 ^ []))], (5469 ^ _495855) ^ [] : [-(b48_buttercup10013(5467 ^ []))], (5472 ^ _495855) ^ [] : [-(b48_buttercup10159(5470 ^ []))], (5475 ^ _495855) ^ [] : [-(b48_buttercup10158(5473 ^ []))], (5478 ^ _495855) ^ [] : [-(b48_buttercup10398(5476 ^ []))], (5481 ^ _495855) ^ [] : [-(b48_buttercup10394(5479 ^ []))], (5484 ^ _495855) ^ [] : [-(b48_buttercup10299(5482 ^ []))], (5487 ^ _495855) ^ [] : [-(b48_buttercup10496(5485 ^ []))], (5490 ^ _495855) ^ [] : [-(b48_buttercup10082(5488 ^ []))], (5493 ^ _495855) ^ [] : [-(b48_buttercup10493(5491 ^ []))], (5496 ^ _495855) ^ [] : [-(b48_buttercup10490(5494 ^ []))], (5499 ^ _495855) ^ [] : [-(b48_buttercup10606(5497 ^ []))], (5502 ^ _495855) ^ [] : [-(b48_buttercup10605(5500 ^ []))], (5505 ^ _495855) ^ [] : [-(b48_buttercup10604(5503 ^ []))], (5508 ^ _495855) ^ [] : [-(b48_buttercup10092(5506 ^ []))], (5511 ^ _495855) ^ [] : [-(b48_buttercup10313(5509 ^ []))], (5514 ^ _495855) ^ [] : [-(b48_buttercup10562(5512 ^ []))], (5517 ^ _495855) ^ [] : [-(b48_buttercup10563(5515 ^ []))], (5520 ^ _495855) ^ [] : [-(b48_buttercup10561(5518 ^ []))], (5523 ^ _495855) ^ [] : [-(b48_buttercup10318(5521 ^ []))], (5526 ^ _495855) ^ [] : [-(b48_buttercup10098(5524 ^ []))], (5529 ^ _495855) ^ [] : [-(b48_buttercup10086(5527 ^ []))], (5532 ^ _495855) ^ [] : [-(b48_buttercup10410(5530 ^ []))], (5535 ^ _495855) ^ [] : [-(b48_buttercup10411(5533 ^ []))], (5538 ^ _495855) ^ [] : [-(b48_buttercup10271(5536 ^ []))], (5541 ^ _495855) ^ [] : [-(b48_buttercup10609(5539 ^ []))], (5544 ^ _495855) ^ [] : [-(b48_buttercup10007(5542 ^ []))], (5547 ^ _495855) ^ [] : [-(b48_buttercup10214(5545 ^ []))], (5550 ^ _495855) ^ [] : [-(b48_buttercup10487(5548 ^ []))], (5553 ^ _495855) ^ [] : [-(b48_buttercup10120(5551 ^ []))], (5556 ^ _495855) ^ [] : [-(b48_buttercup10121(5554 ^ []))], (5559 ^ _495855) ^ [] : [-(b48_buttercup10326(5557 ^ []))], (5562 ^ _495855) ^ [] : [-(b48_buttercup10248(5560 ^ []))], (5565 ^ _495855) ^ [] : [-(b48_buttercup10320(5563 ^ []))], (5568 ^ _495855) ^ [] : [-(b48_buttercup10322(5566 ^ []))], (5571 ^ _495855) ^ [] : [-(b48_buttercup10247(5569 ^ []))], (5574 ^ _495855) ^ [] : [-(b48_buttercup10574(5572 ^ []))], (5577 ^ _495855) ^ [] : [-(b48_buttercup10521(5575 ^ []))], (5580 ^ _495855) ^ [] : [-(b48_buttercup10085(5578 ^ []))], (5583 ^ _495855) ^ [] : [-(b48_buttercup10570(5581 ^ []))], (5586 ^ _495855) ^ [] : [-(b48_buttercup10240(5584 ^ []))], (5589 ^ _495855) ^ [] : [-(b48_buttercup10405(5587 ^ []))], (5592 ^ _495855) ^ [] : [-(b48_buttercup10526(5590 ^ []))], (5595 ^ _495855) ^ [] : [-(b48_buttercup10024(5593 ^ []))], (5598 ^ _495855) ^ [] : [-(b48_buttercup10579(5596 ^ []))], (5601 ^ _495855) ^ [] : [-(b48_buttercup10402(5599 ^ []))], (5604 ^ _495855) ^ [] : [-(b48_buttercup10353(5602 ^ []))], (5607 ^ _495855) ^ [] : [-(b48_buttercup10034(5605 ^ []))], (5610 ^ _495855) ^ [] : [-(b48_buttercup10035(5608 ^ []))], (5613 ^ _495855) ^ [] : [-(b48_buttercup10031(5611 ^ []))], (5616 ^ _495855) ^ [] : [-(b48_buttercup10450(5614 ^ []))], (5619 ^ _495855) ^ [] : [-(b48_buttercup10134(5617 ^ []))], (5622 ^ _495855) ^ [] : [-(b48_buttercup10130(5620 ^ []))], (5625 ^ _495855) ^ [] : [-(b48_buttercup10133(5623 ^ []))], (5628 ^ _495855) ^ [] : [-(b48_buttercup10359(5626 ^ []))], (5631 ^ _495855) ^ [] : [-(b48_buttercup10334(5629 ^ []))], (5634 ^ _495855) ^ [] : [-(b48_buttercup10541(5632 ^ []))], (5637 ^ _495855) ^ [] : [-(b48_buttercup10542(5635 ^ []))], (5640 ^ _495855) ^ [] : [-(b48_buttercup10231(5638 ^ []))], (5643 ^ _495855) ^ [] : [-(b48_buttercup10545(5641 ^ []))], (5646 ^ _495855) ^ [] : [-(b48_buttercup10548(5644 ^ []))], (5649 ^ _495855) ^ [] : [-(b48_buttercup10549(5647 ^ []))], (5652 ^ _495855) ^ [] : [-(b48_buttercup10433(5650 ^ []))], (5655 ^ _495855) ^ [] : [-(b48_buttercup10434(5653 ^ []))], (5658 ^ _495855) ^ [] : [-(b48_buttercup10417(5656 ^ []))], (5661 ^ _495855) ^ [] : [-(b48_buttercup10143(5659 ^ []))], (5664 ^ _495855) ^ [] : [-(b48_buttercup10022(5662 ^ []))], (5667 ^ _495855) ^ [] : [-(b48_buttercup10021(5665 ^ []))], (5670 ^ _495855) ^ [] : [-(b48_buttercup10253(5668 ^ []))], (5673 ^ _495855) ^ [] : [-(b48_buttercup10636(5671 ^ []))], (5676 ^ _495855) ^ [] : [-(b48_buttercup10029(5674 ^ []))], (5679 ^ _495855) ^ [] : [-(b48_buttercup10456(5677 ^ []))], (5682 ^ _495855) ^ [] : [-(b48_buttercup10102(5680 ^ []))], (5685 ^ _495855) ^ [] : [-(b48_buttercup10104(5683 ^ []))], (5688 ^ _495855) ^ [] : [-(b48_buttercup10309(5686 ^ []))], (5691 ^ _495855) ^ [] : [-(b48_buttercup10107(5689 ^ []))], (5694 ^ _495855) ^ [] : [-(b48_buttercup10108(5692 ^ []))], (5697 ^ _495855) ^ [] : [-(b48_buttercup10109(5695 ^ []))], (5700 ^ _495855) ^ [] : [-(b48_buttercup10198(5698 ^ []))], (5703 ^ _495855) ^ [] : [-(b48_buttercup10518(5701 ^ []))], (5706 ^ _495855) ^ [] : [-(b48_buttercup10552(5704 ^ []))], (5709 ^ _495855) ^ [] : [-(b48_buttercup10427(5707 ^ []))], (5712 ^ _495855) ^ [] : [-(b48_buttercup10220(5710 ^ []))], (5715 ^ _495855) ^ [] : [-(b48_buttercup10222(5713 ^ []))], (5718 ^ _495855) ^ [] : [-(b48_buttercup10422(5716 ^ []))], (5721 ^ _495855) ^ [] : [-(b48_buttercup10348(5719 ^ []))], (5724 ^ _495855) ^ [] : [-(b48_buttercup10420(5722 ^ []))], (5727 ^ _495855) ^ [] : [-(b48_buttercup10229(5725 ^ []))], (5730 ^ _495855) ^ [] : [-(b48_buttercup10228(5728 ^ []))], (5733 ^ _495855) ^ [] : [-(b48_buttercup10344(5731 ^ []))], (5736 ^ _495855) ^ [] : [-(b48_buttercup10343(5734 ^ []))], (5739 ^ _495855) ^ [] : [-(b48_buttercup10186(5737 ^ []))], (5742 ^ _495855) ^ [] : [-(b48_buttercup10294(5740 ^ []))], (5745 ^ _495855) ^ [] : [-(b48_buttercup10290(5743 ^ []))], (5748 ^ _495855) ^ [] : [-(b48_buttercup10291(5746 ^ []))], (5751 ^ _495855) ^ [] : [-(b48_buttercup10119(5749 ^ []))], (5754 ^ _495855) ^ [] : [-(b48_buttercup10454(5752 ^ []))], (5757 ^ _495855) ^ [] : [-(b48_buttercup10115(5755 ^ []))], (5760 ^ _495855) ^ [] : [-(b48_buttercup10300(5758 ^ []))], (5763 ^ _495855) ^ [] : [-(b48_buttercup10111(5761 ^ []))], (5766 ^ _495855) ^ [] : [-(b48_buttercup10110(5764 ^ []))], (5769 ^ _495855) ^ [] : [-(b48_buttercup10642(5767 ^ []))], (5772 ^ _495855) ^ [] : [-(b48_buttercup10054(5770 ^ []))], (5775 ^ _495855) ^ [] : [-(b48_buttercup10640(5773 ^ []))], (5778 ^ _495855) ^ [] : [-(b48_buttercup10052(5776 ^ []))], (5781 ^ _495855) ^ [] : [-(b48_buttercup10646(5779 ^ []))], (5784 ^ _495855) ^ [] : [-(b48_buttercup10050(5782 ^ []))], (5787 ^ _495855) ^ [] : [-(b48_buttercup10522(5785 ^ []))], (5790 ^ _495855) ^ [] : [-(b48_buttercup10520(5788 ^ []))], (5793 ^ _495855) ^ [] : [-(b48_buttercup10217(5791 ^ []))], (5796 ^ _495855) ^ [] : [-(b48_buttercup10210(5794 ^ []))], (5799 ^ _495855) ^ [] : [-(b48_buttercup10058(5797 ^ []))], (5802 ^ _495855) ^ [] : [-(b48_buttercup10268(5800 ^ []))], (5805 ^ _495855) ^ [] : [-(b48_buttercup10197(5803 ^ []))], (5808 ^ _495855) ^ [] : [-(b48_buttercup10196(5806 ^ []))], (5811 ^ _495855) ^ [] : [-(b48_buttercup10195(5809 ^ []))], (5814 ^ _495855) ^ [] : [-(b48_buttercup10451(5812 ^ []))], (5817 ^ _495855) ^ [] : [-(b48_buttercup10193(5815 ^ []))], (5820 ^ _495855) ^ [] : [-(b48_buttercup10227(5818 ^ []))], (5823 ^ _495855) ^ [] : [-(b48_buttercup10191(5821 ^ []))], (5826 ^ _495855) ^ [] : [-(b48_buttercup10458(5824 ^ []))], (5829 ^ _495855) ^ [] : [-(b48_buttercup10199(5827 ^ []))], (5832 ^ _495855) ^ [] : [-(b48_buttercup10352(5830 ^ []))], (5835 ^ _495855) ^ [] : [-(b48_buttercup10180(5833 ^ []))], (5838 ^ _495855) ^ [] : [-(b48_buttercup10572(5836 ^ []))], (5841 ^ _495855) ^ [] : [-(b48_buttercup10308(5839 ^ []))], (5844 ^ _495855) ^ [] : [-(b48_buttercup10479(5842 ^ []))], (4747 ^ _495855) ^ [] : [-(k04_buttercup10419(4745 ^ []))], (4749 ^ _495855) ^ [] : [b48_buttercup10228(4745 ^ [])], (4740 ^ _495855) ^ [_641602] : [b48_buttercup10228(_641602), -(k04_buttercup10419(_641602))], (4676 ^ _495855) ^ [] : [4680 ^ _495855 : [(4681 ^ _495855) ^ [] : [-(k04_buttercup10419(4677 ^ []))], (4683 ^ _495855) ^ [] : [-(b48_buttercup10421(4677 ^ []))], (4685 ^ _495855) ^ [] : [-(k04_buttercup10419(4678 ^ []))], (4687 ^ _495855) ^ [] : [b48_buttercup10421(4678 ^ [])], (4689 ^ _495855) ^ [] : [k04_buttercup10419(4679 ^ [])], (4691 ^ _495855) ^ [] : [-(b48_buttercup10421(4679 ^ []))]], 4694 ^ _495855 : [(4702 ^ _495855) ^ [] : [-(k04_buttercup10419(4700 ^ []))], (4704 ^ _495855) ^ [] : [b48_buttercup10421(4700 ^ [])], (4695 ^ _495855) ^ [_640207] : [b48_buttercup10421(_640207), -(k04_buttercup10419(_640207))]], 4707 ^ _495855 : [(4715 ^ _495855) ^ [] : [-(b48_buttercup10421(4713 ^ []))], (4717 ^ _495855) ^ [] : [k04_buttercup10419(4713 ^ [])], (4708 ^ _495855) ^ [_640557] : [k04_buttercup10419(_640557), -(b48_buttercup10421(_640557))]], 4718 ^ _495855 : [(4719 ^ _495855) ^ [_640857] : [k04_buttercup10419(_640857), b48_buttercup10421(_640857)]]]], input).
% 0.61/1.38  ncf('1',plain,[5851 : k04_buttercup10303(5845 ^ []), 5855 : b48_buttercup10305(5845 ^ [])],start(5847 ^ 0)).
% 0.61/1.38  ncf('1.1',plain,[-(k04_buttercup10303(5845 ^ [])), b48_buttercup10305(5845 ^ [])],extension(1916 ^ 3,bind([[_555308], [5845 ^ []]]))).
% 0.61/1.38  ncf('1.1.1',plain,[-(b48_buttercup10305(5845 ^ []))],extension(5849 ^ 4)).
% 0.61/1.38  ncf('1.2',plain,[-(b48_buttercup10305(5845 ^ [])), 5877 : k04_buttercup10303(5845 ^ []), 5873 : -(b48_buttercup10305(5871 ^ []))],extension(5870 ^ 3,bind([[_683864], [5845 ^ []]]))).
% 0.61/1.38  ncf('1.2.1',plain,[-(k04_buttercup10303(5845 ^ []))],extension(5853 ^ 6)).
% 0.61/1.38  ncf('1.2.2',plain,[b48_buttercup10305(5871 ^ []), -(k04_buttercup10303(5871 ^ []))],extension(1916 ^ 6,bind([[_555308], [5871 ^ []]]))).
% 0.61/1.38  ncf('1.2.2.1',plain,[k04_buttercup10303(5871 ^ [])],extension(5875 ^ 7)).
% 0.61/1.38  %-----------------------------------------------------
% 0.61/1.38  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------