Repository navigation
Expand file tree
/
Copy pathSyracuseCycleScan.jsonl
More file actions
18 lines (18 loc) · 5.23 KB
/
Copy pathSyracuseCycleScan.jsonl
File metadata and controls
18 lines (18 loc) · 5.23 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{"level":1,"modulus":3,"scale":1152921504606846976,"atom_error_numerator":2,"minimum_atom_lower":384307168202282325,"minimizer_of_lower_array":1,"pair_numerator_lower":2305843009213693950,"pair_residue":1,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":2,"modulus":9,"scale":1152921504606846976,"atom_error_numerator":4,"minimum_atom_lower":36600682685931649,"minimizer_of_lower_array":7,"pair_numerator_lower":439208192231179795,"pair_residue":7,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":3,"modulus":27,"scale":1152921504606846976,"atom_error_numerator":6,"minimum_atom_lower":7028105134837632,"minimizer_of_lower_array":25,"pair_numerator_lower":126505892427077380,"pair_residue":19,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":4,"modulus":81,"scale":1152921504606846976,"atom_error_numerator":8,"minimum_atom_lower":2062677833074688,"minimizer_of_lower_array":34,"pair_numerator_lower":32148760612457472,"pair_residue":16,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":5,"modulus":243,"scale":1152921504606846976,"atom_error_numerator":10,"minimum_atom_lower":512570492646826,"minimizer_of_lower_array":79,"pair_numerator_lower":8877621941814698,"pair_residue":97,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":6,"modulus":729,"scale":1152921504606846976,"atom_error_numerator":12,"minimum_atom_lower":142956763395202,"minimizer_of_lower_array":565,"pair_numerator_lower":2486737829682959,"pair_residue":583,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":7,"modulus":2187,"scale":1152921504606846976,"atom_error_numerator":14,"minimum_atom_lower":40645470252091,"minimizer_of_lower_array":2023,"pair_numerator_lower":791302196262276,"pair_residue":1531,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":8,"modulus":6561,"scale":1152921504606846976,"atom_error_numerator":16,"minimum_atom_lower":13190994661705,"minimizer_of_lower_array":2023,"pair_numerator_lower":243322991585895,"pair_residue":745,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":9,"modulus":19683,"scale":1152921504606846976,"atom_error_numerator":18,"minimum_atom_lower":3904819662331,"minimizer_of_lower_array":14902,"pair_numerator_lower":74039155863038,"pair_residue":7306,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":10,"modulus":59049,"scale":1152921504606846976,"atom_error_numerator":20,"minimum_atom_lower":1188602966579,"minimizer_of_lower_array":34585,"pair_numerator_lower":21358722565513,"pair_residue":52342,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":11,"modulus":177147,"scale":1152921504606846976,"atom_error_numerator":22,"minimum_atom_lower":354414749682,"minimizer_of_lower_array":87316,"pair_numerator_lower":6766894750711,"pair_residue":52342,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":12,"modulus":531441,"scale":1152921504606846976,"atom_error_numerator":24,"minimum_atom_lower":114795219118,"minimizer_of_lower_array":441610,"pair_numerator_lower":2147330572701,"pair_residue":229489,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":13,"modulus":1594323,"scale":1152921504606846976,"atom_error_numerator":26,"minimum_atom_lower":36229070543,"minimizer_of_lower_array":26809,"pair_numerator_lower":675616509186,"pair_residue":1292371,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":14,"modulus":4782969,"scale":1152921504606846976,"atom_error_numerator":28,"minimum_atom_lower":11309259882,"minimizer_of_lower_array":1254931,"pair_numerator_lower":207948065973,"pair_residue":1292371,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":true}
{"level":15,"modulus":14348907,"scale":1152921504606846976,"atom_error_numerator":30,"minimum_atom_lower":3544460977,"minimizer_of_lower_array":6037900,"pair_numerator_lower":68299381776,"pair_residue":6075340,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":16,"modulus":43046721,"scale":1152921504606846976,"atom_error_numerator":32,"minimum_atom_lower":1149765463,"minimizer_of_lower_array":25535977,"pair_numerator_lower":22172172502,"pair_residue":10858309,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":17,"modulus":129140163,"scale":1152921504606846976,"atom_error_numerator":34,"minimum_atom_lower":372734340,"minimizer_of_lower_array":54529036,"pair_numerator_lower":7216977564,"pair_residue":58687999,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}
{"level":18,"modulus":387420489,"scale":1152921504606846976,"atom_error_numerator":36,"minimum_atom_lower":120297999,"minimizer_of_lower_array":183669199,"pair_numerator_lower":2317388472,"pair_residue":316968325,"logistic_certified":true,"logistic_refuted":false,"sufficient_pair_bound_refuted":false}