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 {7 l ]/]Priority_Search_Trees:threads=4elapsed=14.746cpu=32.388gc=2.032factor=2.207zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bbZAB6($yY)sfkPIOvP9fBb22Ÿ%< a63akW("1|knU&m˂(.\וOB[=F:ќ9ꪧGSy0ĔxObH7$^%KP$u%bv|KIɿu~}km,(g{pfqbc ԟ`GVO(/}ؕ藆qנW_QH&zKFf8~1>itzh lFL I8a[,?ǖ!ڋ$eq[f٢Ė+h]C<씗xQ_y%ϲ"Xu5IfUEu(RV3&L['@ՂX5]Raf[N~VЖ[ R_ȡLi8.%̔gYZ7zXZִF! /.]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Ҟ2R3N8o%luC~i>f(ԇܢ)c|A{wͨB$]@x}y-{a͠T•4 ILEDEt=h22v;Q'KpMbBy4{w~{0$ e!WP?LY`IDb^Z;F W`lT\\xԨF_i]MgYZ7zXZִF! doy]ŗXi%Eb⬗k l1`!D&z6:M^!Փ9:=fВTlBprтӛ+"6' ?Myv?D"cj8tv6i7T&[0 ?/PE 6^Ե 3R\8v@}Od["}4j`3Exy _ruTk(u2XnEީ0 edU~ؔPtSAVܓ^֤ݾ:xbyDx[k~c'r,Af$.$BJCk#d[dpsIx$omzJq^?-9kU4B.Wzab8g0 P.DށIbxpغmfˎ }r@gKz(P)^(ՔE|'eXLP\ONu'u4:(HU\s jTn;`ry"߿J!8V]3$_Mk/VS*iS2QUV21o)ݛ&}sKFRgi+*K/7+8^po 溾ޓҬ>(k Aհ xoU \.@cˣ`Sh3#{đspG`e֮71R~ob1k=3er=56=Pp(fɨ;?l 3Htg oYEsrZaؑ(vd2= QFliFG&Íae$tD4d4*vN~<j7\SPb<`%o@8l^ڱXUpS"x/Xf-8/x$S̊.}XP@6aoMTklvs4S`#g _r135<y=E9 b{8