SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info / / NTT| ]% Fermat3_4:threads=4elapsed=13.807cpu=47.632gc=1.020factor=3.457zXZ ִF ! ] ŗXf[&k1Ϸ676G)jt|NQm.T=;~xl&qr1t^n8 P}-eFM#N`k0-L&'ױKe>/KSgEA6)5x6kc|6p!<97s:`YpF6ՖU1*yKQ
{a% ^X`3g6әR|ljv~H׀q$|yB=j2NgfS0j`Ѳ#߂?,Gh.8bV6\k<*{ wԌe!^ YvĮ 5 g YZ7zXZ ִF ! c] ŗXiɟL̈́>> ^6:QWDI)Bd'5["|_Kv˽rF| yS,Qfg|z4F`Ä F(CT3 5g YZ7zXZ ִF ! d] ŗXi%H7ѪB3عT!DPg\FL]H+,Ink[i&%
a2SraMF!-:4"$9oL[KOV˄
g?VƁj8Cm(- 3&x=f`A
f
^\ g]IwDƑ[|V>D`PV`FN0R!gQϭ펢B'aџ
AՉ=yB ;~#+${rAT3BMWrJ%f}j!Њ6fѦJÿ$2z:nF;-9C{Ǜa(-L:*6/Y>T%iiS_f 5CurV?!ǁ