SQLite format 3@ .;  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 n-vll ]/ HOL-SET_Protocol:threads=6elapsed=26.170cpu=117.852gc=2.4847zXZִF! ,.]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34r~JJٗFP^6kE˫TQ?D,Yb 7CjL:QȽ^"+=n%UoyNðE;7!E˥E|h> ƃ$id8Rb)]\LQ49߀i_oWłG_-Tͅ(O[>C{]&/mܑK[xй_n#+։[O:H0BvRI-r`/E _NBG5%MV - HOL-SET_Protocol   T1Uoj{0TTG)ؓ0ptch*RQU#l٦0){":ݵ cuDp Ï-e/;Ò Vn6CdFd#-_TUR `M.A&T#7|0mY0R@HLJ@׋XNBĊPy#KOՆ*aQƿD; U7Wu` eI'q2Q_L<Ƨ}¨j}9dYU庝BFANӺ[kx3.՟Vޖ(ZooӚɛ-VծrиJcn$t&%S҈8IP '-{{ߎss#5t'x]I-[d1lR,a7l f%zQŕH{8<3a7L?0}T.mzfZ @|x?HXBnlL2S:6Զa"m7-~,mXcB6w:znK lɰbo.Xϛ_2y T?OqA=G!}Q8\n GGX)ϗ2Lc%eVoU>AHqh\{!^OgB;`&Kό z aW1{&yp_tt:vʥaW<-Tي_+!1>AU]c*u?d_ġ ͬO`.Tyu|L;0+9h);62f) š.dx)°'Vضi!Å|štEX-4?g zT6?-MBS JCnqj:JXU.͊(h~ʂ `; ZP'/J|2!{iT{ZuLu'5΅"ݬn}`Kٗ0=b4#нc̼O14|wɍ=0A{m/gbo M[ 3Ϋ}e"&N0+Z` }!!/(ԁ W1WaycĥjB݆F ^ꚺ~7]_2_ f{IRH9;5j~}M@KqIY;U$5'GN!җ6Suj svK eiMӆkJ";v:i 2_ĬCd ȵ[6~(XPE GY&mRYG- f0e9o-?Cƛn`͂]c/ѯ]XlFNc1P3嫮Y3r\#$0BwG15*=z 8kvX +>8̢Tv[^n!lc78M[] f78ok/);[3 71a[B@?-u^ sm ]'%3Z{'l,HlGL)oG&α\+a*h'3JiPR,"y+3b j-$ܹ 6;MϾst3 PoEJZtᾧ : FhrϜHQ@̳ӳ 8x#Sc;s0`L!q Wor,A^7FI0BU7Jq;gn *vC{e(}[GwSH.tM z`92,zES opb]rr{o`0Y"KP?*S-zllajiT \0V<mMf6DP\v # d[qϔSX('^=PuY]#:$-0)+zg; 2MO0R27UTU rIr˴E~C+ێO[Tr^ӕYO;)iڳ4~,. Sdŀ{-JGGu(WNhӦCFW/ ŹZg4 QŁc~:j5=zїđ ,UIoW,=jDe-HT:4jJi onDJ!4(`-=:#?/_C.R9]b7K}UNf0;g(ι)6x6<.$B!E?qp~~iaP/|(B?ִpB"7ٷ`dY@$!7դG&4GzFFs%J̺p]g&pt*/v֧ nJZ"`MM|dgU$F'N<&:wJk(|_PRb@%gYZfe4e60f1ab0502799aa6ee440fd1c1b9361d0b48dd4458878f01a34a1b5791d5d83a4c7fde98b709 f992b25f144d396e58a39d8cc82c7030f4bb4c7d