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 /T6I}C^Rs$!Rrr`4-qa<-J^zPӟB`p*scœ"$ v{n,J*((`HYNV@#$"XLhavҥG͏<=jKݵDO۫<8sϲ,T]l55~f6tIxVEb|,J#\c~ }m Ģ$]NN\yx[aؖ؞JMecٞ*!P@:* \gYZ7zXZִF! iW]ŗXiɟ11bu)]>_ws[Ɋ brc+ 6Xq5mx XVW:C^ @1 PR.VhΖ!"Croڵ=vK+l{f_(_&BrV8N\㰸 EP@/ؔ@8D=CbhqO0kmju_T^B{q'vJN|2Z%ɿǫz#IGVG:c3A^|p ϯ@p!5N`.YiӦ˼ 9JwVNU;ߖG vJBgYZ7zXZִF! *]ŗXi%B\Mӄ:A/xI"cs!leG|"0@nX9 Amg oH60,InHnZjPlޙ t8JG7GԕZ>හ4jƛLo G,sy" iiǒd~"И~35GRp`>)桔G&[;kDPq ꄖǏEnƕLzH :gON,B{>>C©JLǠ9sNX}x qo"I V+&HSj=0u FeuxuU^ݰ91%suX>¢#ҏ i$ t_%4(t)0-(d:{-g:~X>pY5(׊cg}@hBxjjG83o3CV)BrYceF.3I xsG0RsMt 5?Gs!#d){xR !flN $8zRG[ $;D޳hu>2ܛ2;΀\AWv%dxNE^r]{(5l=lhPԕzhR!o+ <:͙yy ֍A.ܻҫI-wēHRSp;}a%uA6q&j%&=[ڏhN2wC)XgmU=:)<~VeŇ> GKނgec$}tæEƽؒfl1;Xj94ypbz -r-T~ş$QܙU2a{o5/}M!QPjm_3`XT ޹_!!j| _7'T&ؽHEu}FҰq)>5 Gf] @ݭh-NM"g:S}F Ja|ʊaM Q8k*ms0@vB?\fC.!Z/mEȺhVra/짭fc4`"l {C-/ljhH{=҄oÉckX-y%>ڞOEF&e GxZF.ό&e*'ʶRjAi;hIdJ&jE`M4b䊀YX"ڍR(ǤJo)vt},&O**Lewָ<l5 N()YAmrcΈj6N~<HNjI6\;pӓʮ Zt[c38E -R$ z1?`V'7ngiD' lw:>;BvUkNMrΪ?H$ӫ %_+DnM &XEہr>0#9q+N3, Z:N~7ړ~ ǫzSVT6nުiV~Z^D#)}@ؿyT#oCHkZD߻^U -v*soQ5'LD R1{G $ۊ5d-BYxKVvJ} o,oFbQ)4/{3B(f+K#X$Gݺ2)V Gus59[SȶwFe%1[\:x2L` ^\z|b]+QQaaYR0ס:G zAT->0h{ Y<re07;//~ keH&I+;ͷz>b`r-*;ϸ0Ck#`Z3X(pKz,K_5&ؚNH,Y(BJ%B+frOR 6o f6jR!_$vx`k|x&ﴝ .LS:a\߰riTKD I*螙Ζ \m*J,`*zQG WE*Tq V4@!Rh>EFs7Wsg D)pp0'MwzȤ*Ns9޷#!ia;YrZquۃS @Ǖ kMv䣜#uY[Xtu9WK{<$n;ka9d!#$eu'Y#\g7!H됎X)tQX/CiQMSIH[l-hX);*ճ:WϛezocNJ6 hd:@; uLVʀlW uzߊvq5e#2ȷI0_HvJ#?2є'g%%v(NWS+v=C4RUq?Sו^d+8_19h,7@}" "VIjD~yFq-XR;L75>UK|DGN2"ֈ(hQ6.w12&8CX"DOwqD1JhwvF7vVV1!z\6=xA)O з a'ZL~ER;Od#wV8/03 _H06y= ߹I$9Tr(❻`8]G\r %#1i޹aӂa`e C™y>c]pZ_a,/*dlX7“27 IfűsΖӉx'^ֲ$KXA𔵻ݶ_ _*9P6|MCJ2 _Ӵ`L⤝{ _;'V.*[C[Q4B&q^jPʒ#چE$EŃ1 Y\x/A}T:R:)˹ E=%k OYdfΐ͌y(݁ `ɪHS3U< O60V=#vZҞFRP(9C|ɗbh$dzA aWF#V|o H$NS/ %9s Kj f+ ؟ +VP4>~(E.!#Tn+TpPHyo ޏ-VltJr?@C=z)%g9u\M D5]ӂu3Eg5I`a'DkؖrTI1ս뜈(9ۍQcrp9mX`*Hxd$L=-$X/nrɯ"(ݤg@x VRCi;uܢ dR M?|]yGu)209Iݡ>0_葯ʆ1,"K$t`:AHt+=_4œK,FZvWDc{|=ݻYN*hj& v5!,Ԁh"b[o55ڑ['Fx0C,tUkqL[HUDeP{V{# cG&@WN!{:*gYZ80c67ae8c2cd9253514bca87fb53cd707d1f410cb54c917c7739586c95567d8d649d231ede1628ac d8a03a98c8668a30cb256035dbbe352448575cc7