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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ff L  ] Category2:threads=4elapsed=9.906cpu=34.940gc=1.756factor=3.537zXZִF! ^]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~:&&}Xk{*pVQu][X=mY|9*{GU"DǐurQc%:槈suReruYb%i sMrg1G\ٝŅ?|emtLkǜ)mMp+GwFG`eԻDwe%h *;qW:u$O9qky?mu&MZvҕb!ry@^B%|l2_1kmk/ZYml'k^5;W ՄПq⛺u Ea'!ZK^?SKy$Ԃnz}*И&Q'"K?8іM96ߣJDBA!hk [,,\ 帞gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaJuC~%7sd9Eж]`7*y}-+| JpHEbIz&ژC ~۲^1 C"^DkiVAfe&:q5{ÒiڇywY4=sz'gYZ7zXZִF! V]ŗXi%ES3"1J_=~wA0;ߑ >G4m[`Hcx\̗]fgH?cv1I͐F_#07WeכGNÄЏcC#D [dpavǞאθR29ЄE7tUn $p^EY۱3M| +ҳw4o4{ Z-p`zE::ݑlSEc?c%jO?+q!.Zm߫hmWl3ry={5SDRjB3,*X^L+)iքx߆Bb=[`?bc Zi:f j\xjJ~Ɯn;.x4~`VuTsZAZۈs^9q)CߴDަ#Ü/dNפ]a ,AıV)1$%c|>J}YszMtL2 +`K;;)S>`"j@wt5{mN :!34@o'rNK:e~*`x`6/,}Z Cs>{H2u׭ZFTg zQc]W0vIVѠ,.k>![=7# -%%p< ½f'<"$ŒߧH۵dE/C,zF-Wz:ak=I}/Bil,I0j@ sgZlTd,im*RdGIrh8Q UHgQ ,<һ$14Źľ3= 0nZU*9p@A5Qu[蔕9*['P\~3Wݨ1=e`Z5''mxkk]֞q;GX $M.DƀPD5*O0zJ~#;@w P+ gYZ74d2c43c04d797cfc6cc0dda92672599bffaf21976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403   Category2