SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   t| ]/ DiskPaxos:threads=2elapsed=54.481cpu=80.548gc=1.344factor=1.487zXZִF! '6]ŗXf[&^q)鰧vygD^g-Y2N!a\d>2}*89Έ/16LNXZQ2X7O&(]<h<#I!Q|L2 T^s6XILow=ѬQ_n[.1*'Eb/)mK#+?o5hzˤ6sg~k9^I8ě/)n6zf?rB!~I984Ӫ zZ(ȅIVQԅy2 =?FrQ沃ɡGZ;+K   DiskPaxos  F:菁娵xXƊ@[A٪(_B&0>qd$sQh-4QI:B!w],$k7 4,!sO T. . V*PVuxH c;u~RM3~V5SEkfdKFu.Kg>J`ƄIqȱԢ߇hF],vel[b]Zb>}OjLӷbo+`%:Ez3v -88ڼ,ڽ?-Qe$ )&EEb^EE ;7F٬pX,ÇPZ96_Y o;vtYf$VEhA5DA;PO͌5Ǿ9)@=%I xIb9ʆzIOhH z/Ld]c.߽ 4z7_%%X"3N?>b`>Skm7m(0gh.Ǟ:iRPW7S,Y&өoN6gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S 0Ĵ`j5^@%xOnHT%dř&6 xФSybZ;,x!׉8`Lcp!oKr@GsQԬ P}vR&GG,,6 KsPBGY@mqLzgYZ7zXZִF! w ]ŗXi%>g}ܺz)]:SYeToV_wbAl,(@D+>[j/)+S*vlǷe!9piF+L@Lh Iz~aHk k죽Z! ]_xNᶺČfx+W:"SjW 9ZEѫ7:&TޱW_Ovn>4rA^WB`s }jbgWY hqcdynwݝ%P4U\6ɷ-$]I{g~POSƔF|鹘0M 7=ɺ՟qX71EGV txY pdYipYM(+z;ya.¬l$cfF[LE!N[4FE!;DQ ʋ'>sK"wOuWh,q9+y{ @!Bހ78<O2ʦEI\TH=Lɳw1_C"Գs[뗏rv>t Xq#SP ~çܐb3Dr)6ew~:/QS:d<6ig )X$w6/MlDH}圑~n2 Ƚz=h݃3W1Z~lXQ/R4v~[>ˊ#u=UFW;W@ֿ /0M@ O;1d7j 3@7/hBlfL"k֫#Y%(m-\@\hMLWwZKSh>6ϐbVn('KAS3ov%)4}pkY`dBBXî9A:k4Oע_Nֹ)\s/_'z+\"xE7WE/VmL#+a"j{c͎}=o؏~-$U*0hֆ^Z,~:hh@UK, p[PS~>jGێ:BQM9H<*u y ?j &(rdIPb"Q)$ !g$Dn<); |n7/frp>y?nޚL_"!1@<6 ՚sSکG-3Ā<O1q:&'xJiqw D_Ίa^|o:Cv\s\O9'/"bw a{MKZ|vjit <5y.5ӎkl @-ʊnCeA m+;*[ iNݬ]B6^7io!FDB .E0kw ǹi/a2Ff qʘ O$?CSK^K"W̞pC H82Bn፭ JUWCN{uTJlQғ:o p]0b]M4&eAƢT[:"G )yvgr BnZdZqR#kA({Y9y ۯn ؠ3ho8yva;)痬e7ڔhF@r6-s{eѧ++Oك+[`RQмDDjDϠ.TY=Uqu<=jJl]:4}{;=vؖɝQ/l,[|j9_ P=_|ucrj"~н : Z }9 gGӊX Uu >]/b\2ǘC)V(xZ'YO 4w:qw`_Y0z$W$j\af٫2pB7n.{'?JD &kzK1Qఀe/]D~dȲ7xbV_TЃAtG,{$~% ?Ƽ^5uB|ҁYI}1~lqLƽ_!6WAK*lNp)3;;Pg{Z'ck\1NpPCұ 7 c bkmTb_HuOuxeLroZO騔t567Mv\8 Dg].0NRpdTԚ\= dqQ[OpΫoq,1F~9TY KI/;