RH-W-06 EXACT RATIONAL VERIFIER
2x2=CERTIFIED_POSITIVE
2x2_even_lower=1220136616168428564509960867597093416911/5000000000000000000000000000000000000000
2x2_odd_lower=1123320622398232799068002133238067601197/10000000000000000000000000000000000000000
2x2_prime_coupling_upper=-290420673188387339003578258957983220452445477459/20000000000000000000000000000000000000000000000000
5x5=CERTIFIED_POSITIVE
midpoint_margin_delta=1/200
max_interval_row_radius=19888582134111706434454188828296300203/20000000000000000000000000000000000000000
uniform_eigenvalue_lower_bound=80111417865888293565545811171703699797/20000000000000000000000000000000000000000
exact_shifted_midpoint_ldlt_pivots=3479246014690781138698823448125246829473/20000000000000000000000000000000000000000,1393474419611219868867861440112425726355986938276001945318175813146813856250637/13916984058763124554795293792500987317892000000000000000000000000000000000000000,672002719246636575029076788983802391480741397276495090797963901135351654698948704026528716342051733316061241195341249/17418430245140248360848268001405321579449836728450024316477197664335173203132962500000000000000000000000000000000000000,1658233429435190912440853415871596305496049362325327125238506173241920378537522700272724474981299189125850234283740146225645366968556313807857659257697123983/107520435079461852004652286237408382636918623564239214527674224181656264751831792644244594614728277330569798591254599840000000000000000000000000000000000000000,391267585002299072688461658952247986225292555477743916470086030849257615308400666969072962023233660467710337323497428045027236501668557895804303611766371511928666177047121947558168840122563164367/33164668588703818248817068317431926109920987246506542504770123464838407570750454005454489499625983782517004685674802924512907339371126276157153185153942479660000000000000000000000000000000000000000
prime_free_witness_upper=-486686286795002490187621513847016698573/2500000000000000000000000000000000000000
prime2_witness_lower=13188695659207318843715269196536254213710315001051/50000000000000000000000000000000000000000000000000
full_witness_lower=62516283067239072255484410348976149629/1000000000000000000000000000000000000000
activation_pattern=[False,False,True,True,True]
FLOATING_POINT_USED=False
RH_CLAIM=False
ALL_CERTIFICATES_OK
