{
  "table": "T595",
  "skill_manifest": "agents/runs/20261029T002659Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
  "versions": {
    "sage": "10.9",
    "python": "3.12.3",
    "mpmath": "1.4.1"
  },
  "controls_absolute_errors": {
    "1": "0.0",
    "2": "7.9575554e-178",
    "3": "9.1027493e-177"
  },
  "dimensions_checked": 20,
  "entries_checked": 40,
  "working_decimal_digits": [
    150,
    200
  ],
  "independent_working_decimal_digits": 180,
  "minimum_accuracy_bits_at_150_digits": 505,
  "minimum_independent_agreeing_decimal_places": 160,
  "measurement": {
    "entries": 40,
    "longest": 173,
    "longest_at": "9,logdet",
    "block_kb": 8.421875
  },
  "rows": [
    {
      "d": 1,
      "logdet_150_ball": "[3.6757541328186909671213189456224705594455898945511336512686061619310627837090415907789731945438167904880225864985373497854674515273631742886235036608907256 +/- 9.62e-155]",
      "det_150_ball": "[39.47841760435743447533796399950460454125479762896316250565339750488017928967682097200709361487420892729610365509609257631108939248812018691044247071194079 +/- 2.85e-153]",
      "accuracy_bits": 511,
      "independent_logdet": "3.67575413281869096712131894562247055944558989455113365126860616193106278370904159077897319454381679048802258649853734978546745152736317428862350366089072557441424297",
      "series_tail_bound": "0.0",
      "independent_absolute_difference": "0.0",
      "independent_agreeing_decimal_places": 180,
      "source_table_2_det": "39.47842",
      "seconds": 0.001
    },
    {
      "d": 2,
      "logdet_150_ball": "[1.161684574801803716855678640971122571056145521340807134666089225429438798666308691038100401330035022153508480751539572448864847650047188993459948729035517 +/- 5.12e-154]",
      "det_150_ball": "[3.195311486059186083954018930320625869027025537218383410459453552355138055220260136541487597410598484260079106205659344858594452861974491749555270724304907 +/- 6.57e-154]",
      "accuracy_bits": 510,
      "independent_logdet": "1.16168457480180371685567864097112257105614552134080713466608922542943879866630869103810040133003502215350848075153957244886484765004718899345994872903551743978476164",
      "series_tail_bound": "5.06753958613e-433",
      "independent_absolute_difference": "7.95996531443e-178",
      "independent_agreeing_decimal_places": 177,
      "source_table_2_det": "3.195311",
      "seconds": 0.002
    },
    {
      "d": 3,
      "logdet_150_ball": "[1.2056267999661867157039304122953682649412957800052594440195668511902134057746998771392124400372386996427309605143941432278917018278614620665225765840373848 +/- 7.40e-155]",
      "det_150_ball": "[3.338851214151637978641073442361581066827638921418583994784327754257705771814723420836902357386573630542952392212570750117385365736077919954715503400430471 +/- 5.21e-154]",
      "accuracy_bits": 511,
      "independent_logdet": "1.20562679996618671570393041229536826494129578000525944401956685119021340577469987713921244003723869964273096051439414322789170182786146206652257658403738483585729354",
      "series_tail_bound": "1.10618082842e-360",
      "independent_absolute_difference": "9.10274931447e-177",
      "independent_agreeing_decimal_places": 176,
      "source_table_2_det": "3.338851",
      "seconds": 0.001
    },
    {
      "d": 4,
      "logdet_150_ball": "[0.552126949795328134435461974655914518732890797134927939447270978428848070671276068693596277379922063033582536739614136770111740042155430733608579536581615 +/- 2.96e-154]",
      "det_150_ball": "[1.736943483345117045218706484107328288727257562783357365404074864447438508652895789852662929429579562547388031125125315995816842863903323708543772353410183 +/- 4.39e-154]",
      "accuracy_bits": 509,
      "independent_logdet": "0.552126949795328134435461974655914518732890797134927939447270978428848070671276068693596277379922063033582536739614136770111740042155430733608579536581615172220245815",
      "series_tail_bound": "1.03046404754e-318",
      "independent_absolute_difference": "3.33499893428e-175",
      "independent_agreeing_decimal_places": 174,
      "source_table_2_det": "1.736943",
      "seconds": 1.282
    },
    {
      "d": 5,
      "logdet_150_ball": "[0.5669711554382509653370433182345105700677569165837399269597178498193843266570763661172151916608754243731164642427285931987366097622164945165287182963193411 +/- 5.56e-155]",
      "det_150_ball": "[1.762919348160542197769112247656987373525615685549134467477465884088514659928021043170117532508763447922769609508577279022922693874033517827691202908660976 +/- 4.64e-154]",
      "accuracy_bits": 511,
      "independent_logdet": "0.566971155438250965337043318234510570067756916583739926959717849819384326657076366117215191660875424373116464242728593198736609762216494516528718296319341106683944104",
      "series_tail_bound": "3.30160506258e-289",
      "independent_absolute_difference": "3.49360540028e-175",
      "independent_agreeing_decimal_places": 174,
      "source_table_2_det": "1.762919",
      "seconds": 1.206
    },
    {
      "d": 6,
      "logdet_150_ball": "[0.254656455502671333453781471437830403635632995562174180960186950790832515215613156019320166535449439264002729866598818786960492754060459436605306952089594 +/- 2.79e-154]",
      "det_150_ball": "[1.290018366027266297051264330431495830757884049324567992644432599376220300780519067233745900131075388250298872154842366916202069420502508756826744747496673 +/- 7.41e-154]",
      "accuracy_bits": 508,
      "independent_logdet": "0.254656455502671333453781471437830403635632995562174180960186950790832515215613156019320166535449439264002729866598818786960492754060459436605306952089594130478062048",
      "series_tail_bound": "1.52695259972e-266",
      "independent_absolute_difference": "1.91066923798e-174",
      "independent_agreeing_decimal_places": 173,
      "source_table_2_det": "1.290018",
      "seconds": 1.879
    },
    {
      "d": 7,
      "logdet_150_ball": "[0.2009153195092005313671752538232644823103729233242375018102284417546963249821077585606706813448139037423940984824137501177035695135564033516661904134812257 +/- 5.09e-155]",
      "det_150_ball": "[1.222521243741051798580285546613412059282832656608533157852240761731551116252190768511571643543843444854716527363816032248094480460936617178101609579019101 +/- 2.03e-154]",
      "accuracy_bits": 509,
      "independent_logdet": "0.200915319509200531367175253823264482310372923324237501810228441754696324982107758560670681344813903742394098482413750117703569513556403351666190413481225711604921483",
      "series_tail_bound": "3.29327438548e-248",
      "independent_absolute_difference": "7.22083924379e-173",
      "independent_agreeing_decimal_places": 172,
      "source_table_2_det": "1.222521",
      "seconds": 1.742
    },
    {
      "d": 8,
      "logdet_150_ball": "[0.049179720812271822058296402277420918434070343648941110391301389053235586064454358206388645991738629169718480442230466322534273080341207421614597478772781 +/- 5.20e-154]",
      "det_150_ball": "[1.050409114156376719441761195267729890047486147797145919662748458556665692080673826640793755647776123770596012696872578885743900512642882140977608921008064 +/- 4.51e-154]",
      "accuracy_bits": 505,
      "independent_logdet": "0.0491797208122718220582964022774209184340703436489411103913013890532355860644543582063886459917386291697184804422304663225342730803412074216145974787727807849504872566",
      "series_tail_bound": "7.26113084674e-233",
      "independent_absolute_difference": "4.45538089469e-172",
      "independent_agreeing_decimal_places": 171,
      "source_table_2_det": "1.050409",
      "seconds": 2.637
    },
    {
      "d": 9,
      "logdet_150_ball": "[-0.0547377225887750704260670928078294053496941018182430409072836508483790480969941034629934906092833089702532692555534904308855588102773647907922345250109899 +/- 6.92e-155]",
      "det_150_ball": "[0.9467334221847900636684050677635285693801266468093952263403606529619547215600289645849774869799206801445500525005559441215921830494954467192981943589877859 +/- 8.10e-155]",
      "accuracy_bits": 507,
      "independent_logdet": "-0.0547377225887750704260670928078294053496941018182430409072836508483790480969941034629934906092833089702532692555534904308855588102773647907922345250109898884712966475",
      "series_tail_bound": "1.0366389191e-219",
      "independent_absolute_difference": "5.845708992e-172",
      "independent_agreeing_decimal_places": 171,
      "source_table_2_det": "0.946733",
      "seconds": 2.705
    },
    {
      "d": 10,
      "logdet_150_ball": "[-0.109610801374336217461614296602398222584404142422571261396417093027118825771252357387783482100947431045457975154171532680932260805828254421866362893622959 +/- 7.51e-154]",
      "det_150_ball": "[0.896182860568104631771658046117462560030561288926427189629154969252432929370262873954821156702223544564143090141104323699417432048027864376378247510137228 +/- 3.55e-154]",
      "accuracy_bits": 506,
      "independent_logdet": "-0.109610801374336217461614296602398222584404142422571261396417093027118825771252357387783482100947431045457975154171532680932260805828254421866362893622959383332245272",
      "series_tail_bound": "3.15758569415e-208",
      "independent_absolute_difference": "5.3726777985e-171",
      "independent_agreeing_decimal_places": 170,
      "source_table_2_det": "0.896183",
      "seconds": 3.307
    },
    {
      "d": 11,
      "logdet_150_ball": "[-0.250966591109734806930616661437981555452490949712254570218914624745826956047863986339208932977370156022681020128460520527041057034597921186947983031045479 +/- 1.22e-154]",
      "det_150_ball": "[0.7780483648571937970816548672265559050285317701003298226457651654161308289551019660021614796152839316019956141047794809601202712503733652644480106499070667 +/- 7.37e-155]",
      "accuracy_bits": 510,
      "independent_logdet": "-0.250966591109734806930616661437981555452490949712254570218914624745826956047863986339208932977370156022681020128460520527041057034597921186947983031045479044019013945",
      "series_tail_bound": "4.63709284335e-198",
      "independent_absolute_difference": "3.12481684179e-170",
      "independent_agreeing_decimal_places": 169,
      "source_table_2_det": "0.778048",
      "seconds": 2.964
    },
    {
      "d": 12,
      "logdet_150_ball": "[-0.239649130058325663907933337986696866341249749580205187485944632387231558963433137845316504492619990306538593358530868784614043634327183577404557300159272 +/- 6.21e-154]",
      "det_150_ball": "[0.786903913564715141051742766968719509869957495801769058631054631796219793927841880125981252720667120864293388152109328171570339097209741396127550738108424 +/- 4.14e-154]",
      "accuracy_bits": 506,
      "independent_logdet": "-0.239649130058325663907933337986696866341249749580205187485944632387231558963433137845316504492619990306538593358530868784614043634327183577404557300159272207335060005",
      "series_tail_bound": "5.87667627238e-189",
      "independent_absolute_difference": "1.11183076448e-169",
      "independent_agreeing_decimal_places": 168,
      "source_table_2_det": "0.786904",
      "seconds": 4.07
    },
    {
      "d": 13,
      "logdet_150_ball": "[-0.4101576389465675069863080104315532664254895548376359214342597585785548280839153854937079214554798473739812188202306150067452917451823435394360210677709818 +/- 9.01e-155]",
      "det_150_ball": "[0.663545641255432134234381434585480124305040355789735037072152322335436722809623254002564617173991756545039573312493539482873399432645788555067115062338262 +/- 3.09e-154]",
      "accuracy_bits": 509,
      "independent_logdet": "-0.410157638946567506986308010431553266425489554837635921434259758578554828083915385493707921455479847373981218820230615006745291745182343539436021067770981778234102555",
      "series_tail_bound": "9.88292297714e-181",
      "independent_absolute_difference": "1.68303329924e-169",
      "independent_agreeing_decimal_places": 168,
      "source_table_2_det": "0.663546",
      "seconds": 3.528
    },
    {
      "d": 14,
      "logdet_150_ball": "[-0.350047138306711221820620110026933539833445168573528234492455372379340836237967899824789648773526707413923997721653209820086123636471987260472430313191535 +/- 4.98e-154]",
      "det_150_ball": "[0.704654872698307727339647066884292287707860484120832677946847919954743759815177681600484648438039459204725005997545570663149776654477276067914488927052582 +/- 5.45e-154]",
      "accuracy_bits": 507,
      "independent_logdet": "-0.350047138306711221820620110026933539833445168573528234492455372379340836237967899824789648773526707413923997721653209820086123636471987260472430313191535089010189572",
      "series_tail_bound": "3.05873528556e-173",
      "independent_absolute_difference": "1.15541127562e-169",
      "independent_agreeing_decimal_places": 168,
      "source_table_2_det": "0.704655",
      "seconds": 4.588
    },
    {
      "d": 15,
      "logdet_150_ball": "[-0.544080683665155568592591500786806953004081289069718717336080343391915286641155380183609199574414364918269825406411806895566920447528164385006661903433157 +/- 2.80e-154]",
      "det_150_ball": "[0.5803750864624722845692971576602470017915947264346365847350023894712364297959165581248202857301247540858454474729800117801236887322850626636260213339411223 +/- 7.94e-155]",
      "accuracy_bits": 510,
      "independent_logdet": "-0.544080683665155568592591500786806953004081289069718717336080343391915286641155380183609199574414364918269825406411806895566920447528164385006661903433157172744193259",
      "series_tail_bound": "2.24690629318e-166",
      "independent_absolute_difference": "1.69687586334e-166",
      "independent_agreeing_decimal_places": 165,
      "source_table_2_det": "0.580375",
      "seconds": 4.12
    },
    {
      "d": 16,
      "logdet_150_ball": "[-0.446118293643788867007844690143818266356627930957707852947324416926353007279973714843141673770994958879924680726055488518498128073421066720170666526221978 +/- 6.83e-154]",
      "det_150_ball": "[0.640108046869548203410890086246562879905737136640976057762432708139296076855566109196574720750269008963683364329599772797287251518764491985953825312686083 +/- 5.78e-154]",
      "accuracy_bits": 507,
      "independent_logdet": "-0.446118293643788867007844690143818266356627930957707852947324416926353007279973714843141673770994958879924680726055488518498128073421066720170666526221978167609413321",
      "series_tail_bound": "3.60001420542e-165",
      "independent_absolute_difference": "2.66834739877e-165",
      "independent_agreeing_decimal_places": 164,
      "source_table_2_det": "0.640108",
      "seconds": 5.099
    },
    {
      "d": 17,
      "logdet_150_ball": "[-0.659673847560685058035734197310095020581530554921696024955707435363310135629398285617764957343197265330913187105133783391664831723037905884450779945602342 +/- 1.95e-154]",
      "det_150_ball": "[0.517019934308333046937481346340107799147410875111716605829771726005485511883678908455085257098648261161882968932469591788584648552139332947288758514765360 +/- 3.38e-154]",
      "accuracy_bits": 510,
      "independent_logdet": "-0.659673847560685058035734197310095020581530554921696024955707435363310135629398285617764957343197265330913187105133783391664831723037905884450779945602341910303802363",
      "series_tail_bound": "5.19501671057e-164",
      "independent_absolute_difference": "3.76251384875e-164",
      "independent_agreeing_decimal_places": 163,
      "source_table_2_det": "0.517020",
      "seconds": 4.754
    },
    {
      "d": 18,
      "logdet_150_ball": "[-0.531249322138210432633520085372782792521864393375242670208261644711482193469858124582725332981399681383619963787870269929230790955801279685885935539825673 +/- 4.49e-154]",
      "det_150_ball": "[0.587870071616870211216333244510855280639895945505094384884143003774532119867471929960189974976424126988982185355291975420934256179184722418165820003586502 +/- 5.52e-154]",
      "accuracy_bits": 508,
      "independent_logdet": "-0.531249322138210432633520085372782792521864393375242670208261644711482193469858124582725332981399681383619963787870269929230790955801279685885935539825672920439713679",
      "series_tail_bound": "6.8757793287e-163",
      "independent_absolute_difference": "4.86419569049e-163",
      "independent_agreeing_decimal_places": 162,
      "source_table_2_det": "0.587870",
      "seconds": 6.189
    },
    {
      "d": 19,
      "logdet_150_ball": "[-0.761365732536430745944576820189682448869665487163946864128352223509650811973270681178860198401121819369509632724424724189464479798297525392178518468129363 +/- 2.91e-154]",
      "det_150_ball": "[0.4670281557074978548724853588906024846732098731089579413535973564593172426553649984155737588830040241284134950638427353848595052566568646894317400764517916 +/- 8.40e-155]",
      "accuracy_bits": 510,
      "independent_logdet": "-0.761365732536430745944576820189682448869665487163946864128352223509650811973270681178860198401121819369509632724424724189464479798297525392178518468129362836452073068",
      "series_tail_bound": "8.46595801514e-162",
      "independent_absolute_difference": "5.8631056545e-162",
      "independent_agreeing_decimal_places": 161,
      "source_table_2_det": "0.467028",
      "seconds": 7.417
    },
    {
      "d": 20,
      "logdet_150_ball": "[-0.607738688750854352215002585574742266752415420255701077152557898227365910016349065445199550004976093595241826488313650716555911355472065132998971825710874 +/- 7.49e-154]",
      "det_150_ball": "[0.544580944774811333888567888753331394338532470261674167094152168823652864726351226970829154786046891287810218423361042611711663536765001434313257374470987 +/- 5.35e-154]",
      "accuracy_bits": 508,
      "independent_logdet": "-0.607738688750854352215002585574742266752415420255701077152557898227365910016349065445199550004976093595241826488313650716555911355472065132998971825710874229701181247",
      "series_tail_bound": "9.80707883435e-161",
      "independent_absolute_difference": "6.65694910864e-161",
      "independent_agreeing_decimal_places": 160,
      "source_table_2_det": "0.544581",
      "seconds": 6.554
    }
  ]
}