SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   $T w% Fermat3_4:threads=2elapsed=27.053cpu=48.776gc=0.796factor=1.807zXZִF! !  ]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#Q_Qsؒgm#vpV83r~ޣ[FP4*==Z^*0 %0-OiB"9-!r3~ ?z L j L%϶xdnfS7f0jC!seWr/? Q7( :!:hqrh>b _VjRw 2j{7$e%TbmR #Zx~#w/4ѓP+U^ӟPe5mBȦ${5*26Y$FWDC&Kk{*d 4\'9 yv) !IK߭TE٢-?Bm=d؅a.߯֐z[<.azj_sD9UbGD?ռч =1^sV .Zq\M:};,Wvx 59nDXee+/Г>ktxTY}v?pҲt<2Y8|~4Fm\!(RG|}oqŊwG ԭSok1'N6cpPT5ʋqO⹗kcV^OdU4<%XSxN3rRLp#*YϷI"Z&]O6a-te9> $B UѱgYZ7zXZִF! c]ŗXi%6˻hJNw|',Ywb~V>4!Z̬ozlomv9pcAEE?[#c;y^}5X$/#1Y(SBeOӔ 2T ƈ*&T2< '4j?S€4|% JORY˕G UGU.CYЩ0Hx/InFXCf\|/NO|}e/ " xnƙ$ V=|3L2x<%F4"N?`iBw .n,BsMerP"Z%BZe;Ou؂ŗB]jVG-چ"/ݚh5b`d"J$4m &!YSp _يa$DmM)FTʇf(ߝ#/-: oIk Fq\$c$_UCO+bJ]UK\/x3o1d Ϛ7!P-4#իsq*D9!id;q!dǸfB׽W 9 -Ym:ze p"e$+MW"[eJUuI(նJ_yIc"*;g: !5\&h,]c~I'? ~g"%2=};EX9H4s3ԁ}1\oZ+^W8Z)}& !QOcg(NCLv0[3gѪB^ ٌzR3$Chv!k GBO𔽻Vqj1~$P}>mB rOOVмϙFr? xSt+7r7֡@cY8-kBDԣ 6q9MXQrj޶h9oW/m)+[;֍)%PQo[LFVԿ%,Vr)z2 P[2G},Do&y6 ,H*ddH3eB8W̖e {|ӥY"Qٯ;P@/!bV©=ciU,))ŝ ҈!q-ՒtJ,n)@,*ǻi űm3VmhyчԸ%nг "QQ 4(;UpWgYZ064606323452ea1dcdd6bea93aba3044cca8032c 12bfa3196dfd9d703f0bd361f9dc21eb03be9732 667d03d1344eecd4575527938c85b1f70939a0d2 a3a11ca13f14838e8012c043abfbae5a87d08069 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe 55b31fb9d099700ade71290db6f3df2e66ead341   Fermat3_4