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 ((U/ ,$ wS Old_Datatype_Show:threads=2elapsed=10.823cpu=12.392gc=0.332factor=1.147zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$%!D4/tΛ.c55Hi )x;NBiR&61(ͬx0P%{e{6U"gpx.>0w<[O9 ?TY#<qb^L_scIl^\9{CV2upnq]閴[^~ls"s;Rqx3U0Yy?dif zo.rrRf]lQɎZU{Np|PDd [T3Py;X6Sa!5ܱ*BʃǷql -PhP$m[︇dW a}ԒF6 Fqؽts2Tr!bu@{1|Y_ʍ"b/~C31#^dmŐK#T5rgEcЭ_IP|7)dX˟gYZ7zXZִF! 3dL]ŗXi%!W: OGGpmP~ F>*f:^/MKuy;K]y? V~n/t1Z_N u>Xv݉d*?gºت泐H1qf F G""*\OTyq G!TxC,9?X^^U^|,>{Z8JS?f:u&kXu+,_|!XE<7 ʼn}xygB%gcR&'Dhg\5A Up`'~:'[bj.BTV"և_#aHP?A3 БDO :..c+Jɼʠt6X3Ps/VyU &P39\9,򻕽$.ݵgaGGBi6*SQ$~Y[& bH#IF?ڦ_w4Y]2o}ZE"`s&`FO3}LU'|bW۠ sIUDU"ӿFr }:&"%eӥѰ~>TﱌH4[kqPFD xk_O:OMƼsU@2m^INTZxZHzY?