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 : <4 ]]]ZF:threads=6elapsed=11.705cpu=38.304gc=2.008factor=3.277zXZִF! .]ŗXf1-)9\l ݺn= bŚ&3(/.G_T'nBLL dTIA l&t5Β\%8ZiQxLA \7m5gL$y oAOOPOf Ey Zl@8$TzecjL.ٷT(AfsH_\*kTW/yJ~K-"ŴV^+Ugk08%G;vwH> p53a?ͻ"r20;7h'w"^!?B~1pCoKo~#ߒұgYZ7zXZִF! C]ŗXiɟ 1FE`穹w4]N8`,-ZK3yr{$3p7I?u͡,x`eت&jƮ2P1Zc M\@AJ4A 2O.] {+_PNB3i aNoG&Q?ͥhңZdPkiAP(H[/Q_FdfD*TqygWV爁U).hb |(+ PM+Y y3n)cR:\R_[0fqկ(QlkhJ})Kr?w33J7%Qb[[RSR)e@6Nwo;7]T /{KYa+"jE? ]mH4}a~(8Gs.UgԻG`*%}d.jfgh؝GZ t<犷enU_PWy(c0-ly)5ewED)e|$jO@ڗ۟2 ='}fD;-m)ٛ gYZ7zXZִF! 8]ŗXi%6[XoMC·D%B>-wC%~6XM5ʑat)_u@A:G얅7Ww: j(t S0_kO-WϹ VoO KS3dvar;{&"kH[giYg)XTb⦜dwܗQM/蘐=¤T!#vIj(bjc[7$yͦS!R"\rN$iAIR~tC jA>l{a[_%jϓLM)x׉84,[ҘUt9 g 8;g Ipc6c0WjJ> 85uTRN-SlRE ;W_G'8dK,2f!֏hiG!C%m24]t}9w^6z1\H1^AuLK%M#׏Dw6O2׮?AyZ!2ێtC=^\#|N%=5'u? ~Bq(CZsuC|iΑS7~'= iR{"E'e`|sx+7$uPPi!4K 'Б:v,HSBr])QDHJwѧ 1vΏ=!yEV{