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 Q)  4 ] Error_Function:threads=4elapsed=10.636cpu=38.556gc=1.636factor=3.637zXZִF! ]ŗXf[& nTg6 HJ:M7a/FaRtg )df}nERtR=աoQ$X,@p¥ރ6ES169LmVD`/5N?[̑ ~'5"_`hv]0'׳gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7# 믓WCζ*IԷսT&󰧮L#Lv{@GQ ԕCl8igYZ7zXZִF! NM]ŗXi%G 8jt$ds] bsj)-6.-m6K+];+–m3fM 0T9WtUnk+SeGR?0i++v}JveCodbqA- .Yٌ89&zf@ s Virqunۺvz~fhL$]Db2|*kBn#Ne]>~H,g 5HQ_ECq*I9~j3]>r ؃@sf*3h*NvQԩU@%7(]#[v{BaXo(rJeؾBKGz2]jM~p%X0"Ao}I@K迦UWu䓥5{R<<B?‰ a~[ %i&5-;!|9`SV([^ &їndC0m,  ,Qӽ?yu3VG8 0Kw:=\;ND b2-&bi;/t5Tra}7DPl]+2ؠo/emlˢ MҌ7h9]s_/@gTng=_d.$ERB[VFQ47dn_^qz,Apu$>_=E?۳O9boW ר Gc%2eOCi<|i9; Be^FQ\p}"9ﷅe]E{@ߣ*rCGB>m&6ئE)t_&)چZuz+˛<0RZ83%|qu]>, uA9Ί3@F@jKA=ٴ2WX欈y\d1׹U7@ځ 5e-vu%8U9f#B4&._ oWX 2); .g)t5~LA6*{q#z{gR9ghb/AtXt%` .P]Fjv ΜpegYZb0b04b7ce9dc1e8db1b745cdf5d56dcb99dda40b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065 ) Error_Function