Repository navigation
Expand file tree
/
Copy pathselected-assembly-verification.json
More file actions
71 lines (71 loc) · 5.75 KB
/
Copy pathselected-assembly-verification.json
File metadata and controls
71 lines (71 loc) · 5.75 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
{
"published": {
"a_bit": "63787735011827529/1250000000000000000000",
"a_complex": "717/10000000",
"kappa": "20411033624901463/400000000000000000000",
"h": "1/1000000000000000000",
"minimum_margin": "861996419078750389305902634655640717940209054373717/16892753888310970642282059790945626283000000000000000000",
"absorption_gap": "776246582849183185892707265051534771/6757101555324388256912823916378250513200000000000000000000",
"scoped_limit": "63787735011827529/1250063787735011827529",
"phase_capacity": "13623/200000000",
"constraints": {
"a_positive": "63787735011827529/1250000000000000000000",
"a_below_b": "25837264988172471/1250000000000000000000",
"b_below_one_over32": "311783/10000000",
"beta_positive": "1/20",
"beta_below_one": "19/20",
"phase_leaf_above_bit": "21356014988172471/1250000000000000000000",
"q_positive": "31893867505913764436212264988172471/625000000000000000000000000000000000000",
"q_below_internal": "63787735011827529/625000000000000000000000000000000000000",
"q_below_leaf": "10678007494086235563787735011827529/625000000000000000000000000000000000000",
"c_positive": "31893867505913920686212264988172471/625000000000000000000000000000000000000",
"c_below_one": "624968106132494086079313787735011827529/625000000000000000000000000000000000000",
"q_below_reservations": "1/4000000000000000000",
"lambda_above_tau": "63787735011827529/1250000000000000000000000000000000000000",
"lambda_above_sigma": "25837264988172471063787735011827529/1250000000000000000000000000000000000000",
"lambda_above_internal": "63787735011827529/1250000000000000000000000000000000000000",
"lambda_prime_above_lambda": "63787735011827529/1250000000000000000000000000000000000000",
"compact_leaf": "10678007494086235563787735011827529/625000000000000000000000000000000000000",
"compact_reservations": "1/4000000000000000000",
"lambda_prime_below_one": "31893867505913764436212264988172471/625000000000000000000000000000000000000",
"epsilon_positive": "16891891891891891875000000000000000000/16892753888310970642282059790945626283",
"epsilon_below_one": "861996419078767282059790945626283/16892753888310970642282059790945626283",
"guard_width": "861996419078767282059790945626283/16892753888310970642282059790945626283",
"K_geometry": "12669780915337997673532059790945626283/16892753888310970642282059790945626283000000000000000000",
"K_dominates_log": "861996419078754612278875607628609467940209054373717/16892753888310970642282059790945626283000000000000000000",
"record_suffix": "861996419078767282059790945626283/16892753888310970642282059790945626283",
"phase_local": "6895971352630121363724439254039621717940209054373717/135142031106487765138256478327565010264000000000000000000",
"phase_boundary": "1379194270526010758541777202031410517940209054373717/27028406221297553027651295665513002052800000000000000000",
"gamma_sublinear": "1/2000000000000000000",
"cell_above_band": "33783783783783783733107246111689029357717940209054373717/67571015553243882569128239163782505132000000000000000000",
"prime_interval_packing": "861996419078767282059790945626283/16892753888310970642282059790945626283",
"alpha_positive": "1723992838157517671365693580281923717940209054373717/33785507776621941284564119581891252566000000000000000000",
"alpha_below_one": "33783783783783783766892753888310970642282059790945626283/33785507776621941284564119581891252566000000000000000000",
"alpha_below_one_fourth": "8444652951317327803469664201892531217782059790945626283/33785507776621941284564119581891252566000000000000000000",
"delta_positive": "1/8000000000000000000",
"delta_below_one_eighth": "999999999999999999/8000000000000000000",
"short_record_fallback": "21113787314356217244420573471408511265302893817662714655293/21115942360388713302852574738682032853750000000000000000000",
"small_field_exposure": "1/1000000000000000000",
"artificial_boundary": "946001113716766986156730088285452994038846179372836878849/135142031106487765138256478327565010264000000000000000000",
"literal_scalar_guard": 9693793493753822316795466474748,
"row_product_gap": "6548/25",
"g1_above_kappa": "6757877801907237440098716623643302047971/6757101555324388256912823916378250513200000000000000000000",
"g2_above_kappa": "26039472083657/10000000000000000000000",
"g3_above_kappa": "776246582849183185892707265051534771/6757101555324388256912823916378250513200000000000000000000",
"g4_above_kappa": "26039472083657/10000000000000000000000",
"g5_above_kappa": "2534689329829494779528201675906895477221/6757101555324388256912823916378250513200000000000000000000",
"g6_above_kappa": "5913240107491688907984613634096020733821/6757101555324388256912823916378250513200000000000000000000",
"g7_above_kappa": "6756411958189125249845053885528986926898716623643302047971/6757101555324388256912823916378250513200000000000000000000"
},
"margins": {
"g1": "861996419078767282059790945626283/16892753888310970642282059790945626283",
"g2": "63787735011827529/1250000000000000000000",
"g3": "861996419078750389305902634655640717940209054373717/16892753888310970642282059790945626283000000000000000000",
"g4": "63787735011827529/1250000000000000000000",
"g5": "1379194270526010758541777202031410517940209054373717/27028406221297553027651295665513002052800000000000000000",
"g6": "6895971352630121363724439254039621717940209054373717/135142031106487765138256478327565010264000000000000000000",
"g7": "16891891891891891875000000000000000000/16892753888310970642282059790945626283"
}
},
"scope": "Conditional arithmetic only; structural transfer not proved"
}