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 # |4L ]/]HOLCF:threads=6elapsed=11.885cpu=37.708gc=1.888factor=3.177zXZִF! 'u]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0S  o#G.g8"Ku߮k=A$@dPϩA#COʠ|OEٜ3z'Ӥ? PY|)r跛;!~/|rZTco4Ugnw\X*vb/R!\qH.#a܁$QNZ_¿?C1W_S:l{IOj͚qU9tc#mۃ1ډ8D| _Y|Cw_ Rn4ܷj7"t2 ,ݒa tly!i8?Z?94D1 ȟ<`*) J6= F 뷵gJ;ȷǀ WYڹpB=&JjڛZ>ةYAEtsSYE)xя@ P.UjH1Gurף5Xg,#bpJ+Y7 `Rf CądX[`oY;b d,rC@1Ӈɇ9S2][1 <s+KYK<{YK %xVh4zS W1mG$!g֏4KbOMSxi^균G@Cx\a]cy sTXnnHC[+h=͉8z0:LW*LLIʔ)5$aDS1pmėmpI-iuR҇:_u%`~9on!tif+zqy"A2_}j[t7GT dmm[G{|U<NA 9(X=\V_R gA>EɂY|S=1srj4'.G &>"!1 l-Ol;Liꌤ@]MRd./c4UP0њ:=bc@SIQZkSฺkJTJשtm^Pg;ѩىґi)4::Ol j`%[LxZc%m6c9z.VvM,ד#n(gFwQ{hF X'TMqz |Vhcaq!x,YūSA_r%/6څB|Asl@ [N"pMAO(YeTJ}wXP=v7¦'jB`Ý m5b"&3-Z}CsĬd2jF[ފH Vm(Zs0V;9!u%È,+} k_Ax (:/EX ?DKUlC=lVD[9gY{B9eՉQa#ƌE Yא[G!s ,~ewA$9ҳ΃u/H j\ kbD, <^N o !K5|#k"Baș7{ei%Cɴeͣ / D:$#;Hr,":X`ܴ, ܄gz rL,5.1VWli/ײɧG")UAxNݳMʝ/J_LfEWyI' 4wobm++u#fOf8^Cj)_{SG<FPQ~z*:@1 DN"@Upń xN$Ral(2/>%+j$ ;聮/$ ;]0n+B#IX/yl8p"F݁C їk'P ͿֹtX\D1`mDL*R),=N _z|`;r+oy6yI鬘yVk#g`U?]Т *#a AVx9B_