Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- reg = ImplicitRegion[-(85507252/281031705) + (12129938 C2)/332357775 + (
- 8783831 C4)/336091620 > 0 &&
- 13928875/2068193121 - (875541 C2)/762958399 + (266844 C4)/
- 46103287279 >
- 0 && -(87433/133329800599) - C2/4044274263442659 + (70393 C4)/
- 107344881690 >
- 0 && -(154911413/24768452) - (446865629 C2)/130392588 - (
- 307751493 C4)/150456370 >
- 0 && -(1097783/43363502683) - C2/6363814599540369 + (436 C4)/
- 12592789518353 > 0 &&
- 43118509/46390409 - (62574705 C2)/1176266783 + (21020096 C4)/
- 247288553 >
- 0 && -(15955/128043096873) - (21010 C2)/249925147103 + (2059 C4)/
- 2940701467467 > 0 &&
- 703020551/351116702 + (27845261 C2)/20410396 + (98400649 C4)/
- 60419628 >
- 0 && -(263869/25484270322) - (2 C2)/4699590435526043 + (274918 C4)/
- 26551384261 >
- 0 && -(403623283/47895144) - (29941205 C2)/204329788 - (
- 20968984 C4)/211570011 >
- 0 && -(190137/73702268812) - C2/1464792921414252 + (70375 C4)/
- 27279263586 >
- 0 && -(127515937/10350814) + (66476775 C2)/250763639 + (
- 62742041 C4)/350605754 >
- 0 && -(305222/25881257271) - C2/2444723267892425 + (264543 C4)/
- 22431893570 >
- 0 && -(182455964/21758993) - (24556321 C2)/9028317 - (86419673 C4)/
- 84516834 > 0 &&
- 49885550/176515237 + (56517953 C2)/212770631 + (38994024 C4)/
- 104609527 >
- 0 && -(35337/200849682547) - (1993 C2)/12172761243 + (5354 C4)/
- 4593083499991 > 0 &&
- 478606034/28686255 - (45266571 C2)/50820428 - (36546921 C4)/
- 167401798 >
- 0 && -(272661149/4744561) + (103780012 C2)/36573003 + (
- 93887006 C4)/65069547 >
- 0 && -(80037/31490079482) - C2/5986559500872083 + (382333 C4)/
- 150426689034 >
- 0 && -(263075065/118343554) - (65522657 C2)/63034587 - (
- 57626444 C4)/105013641 >
- 0 && -(258763/4451952289) - (382469 C2)/10707967744 + (379 C4)/
- 16463299040259 >
- 0 && -(2264737/1618351796) - (2 C2)/1070254267338921 + (
- 4624787 C4)/3304832165 >
- 0 && -(225241/28237242282) - (2373766 C2)/225612163031 + (79 C4)/
- 13028605649356 >
- 0 && -(705105411/15810608) + (211345702 C2)/25255169 + (
- 308880655 C4)/48149454 >
- 0 && -(452242420/45059129) + (66422808 C2)/53037679 + (
- 80663920 C4)/92078539 > 0 &&
- 1031632/11217614025 - (301540 C2)/19050654759 + (384 C4)/
- 7013330712743 > 0 &&
- 487386/38928398887 - (215779 C2)/32035083275 + (153 C4)/
- 18809088955493 >
- 0 && -(426775699/11578110) + (61555428 C2)/5488589 + (
- 407081926 C4)/42393211 > 0 &&
- 32683163/460136209 + (57770533 C2)/104272617 + (43719475 C4)/
- 63083266 >
- 0 && -(40457/183341009306) - (101266 C2)/59830972263 + (13403 C4)/
- 586654427969 > 0 &&
- 1971501/33602034559 - (1407727 C2)/17967061944 + (837 C4)/
- 22165546399093 >
- 0 && -(9121017056/1537631) + (4176591575 C2)/2040599 + (
- 3855104587 C4)/1911498 >
- 0 && -(41494564/75745723) + (13407054 C2)/383701057 + (5503947 C4)/
- 226513283 > 0 &&
- 423322839/912595799 - (51544547 C2)/1237887564 + (239929933 C4)/
- 31855128609 > 0 &&
- 170952/19446766405 - (70757 C2)/9771526380 + (181 C4)/
- 11567149129613 >
- 0 && -(418202969/14269999) + (321800296 C2)/29325359 + (
- 208451659 C4)/21408643 > 0 &&
- 93540197/118396078 + (87732301 C2)/58213510 + (66152229 C4)/
- 32296492 >
- 0 && -(72778/1059277325685) - (8637 C2)/67402822990 + (2233 C4)/
- 1071480135070 > 0 &&
- 219594884/32436627 - (62028049 C2)/165724701 - (10516642 C4)/
- 152938725 >
- 0 && -(818557433/8028673) + (308336948 C2)/60816249 + (
- 46129543 C4)/17075518 > 0, {C2, C4}]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement