SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info OO.E L<, ]/ Name_Carrying_Type_Inference:threads=2elapsed=21.126cpu=37.168gc=1.528factor=1.767zXZִF! ]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er-z9)^**rXB@j(@8[|ҐvE|Zh+B>= J5)!A֋4{X\r0ar}Yz"S5=,^pp2A3f"O%{b0r^bW d eDK&PN0_~$H}ʖ%(6<@Aߊ-DՉ!:W2: +ʕ G̖!*b78@Nr hk%3ZN󴦬EpJ߿Fk?~.,/ރrq!Bږ{gɊ3lg^n{C#s36u6ک9TО5Cj-j4nm~7r2]+ԘuvprJp.+"C=3gTwbxW8f~B@ '60gYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ rI\ˬK:o"$(6Ye_"tc%k.bѯ-|:UT#i#K ώߋv)&95_gYZ7zXZִF! uP]ŗXi%93'ƒq*9dymHxF 7Q/e"`uWуK8G,)km:t~;euYZqACᅆ8@3Z4`{+"Vý>DŽJ4O߆,fUqǩzB+ z3E OƩ{0.COVD)a /m&)jF!s( H UU$Mmv8v͕Xgd{"x XoGJ=,1 ϵ_>uhhV@V@QO| l6wM;͗bxHm{FYsN `!;+@ 4O5X.njy7 2>Hw5kc0;mO~,@=1uy SX" ~Y"5r:uÒ鶴uov⎖\IJ!N7 /RS'- V9_1ϼ왷0ef_h-Kz.,)۞"[^XXsBT@圥}tu0\>s3gGka97`x<= NDHqY^~ґhrv!׏?Ē5})ҜCw!KSՆ ؞ؖ?3ck';{NLʜ[ym;()OuAH]/x-[ *r~{9Σb* ~thu?,bA7Kk"t{%s/Y-Dz7Ea_I}mS;x$07'Ç q*C߿~P(9":{ @yCgѦFavoЄkUIſO4>+PڕB=Z`\V]|epHKyLޅxIR yLگr#E'[)ޢ 0mqP: "ڦνAn0&N};e J =fW̡7K;HZPup5ZWZbTXT꽠= Jw`X rS(05t۔Hsi묕[Ke~]-< ،aRUwAGl% #p+c喴hDfcH@:i WO0+qA?Nm1yѫJd pe A~gYZa35afbe2b91713f7eba90a48669d396eb0dda197a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 E Name_Carrying_Type_Inference