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  7 $Ub#o+op\LM8&fe.Gv_k=@9b`_2ֹVc02TYFb1\G)hD AEכE%aZ~lVW;m&LZ~ w;z%NtH\e-O$];pW}C)aC | 4naΘ"e5H&%yl 1O Ld@'8{,H5<{ianS5إHa(KB\ p7=2]8ޔLgJb;[+x!s zdoݧ0ۛۤ/B*E m!mA!4I MƉznɥ~u JJ#'F }MF*w;%S)z1x*NuҭO(8dB : ^ۄe`z ʱ,QLɴq2TF9e!U)X`*@ٵtx*Aw$bS뚓C)&+F4< N$ gYZ7zXZִF! L]ŗXiɟ: e=o݆$`5< g +4 ᒩ[\sBZ3NyLyUsZ< 1uD|93v#YL3M~Y+&>n!CC{h4 i5"WұZ"r&mPPc>p4"o% M"ɑ $|_Aj^PXV/5&ʭ,sRxl k'vl4h|T{ oјGYej7 dxr3'za4ڈ+[0Q,WzeTnR[Z^7<`.Xc)Dxcܾگ?$ mDx۷7;w]HO<$A@5rz[ cLgYZ7zXZִF! ]ŗXi%B ]oP;QRfI=`w:0 k0V!ģ:ޝ<w!|(scC `>m&!܈% pd%ޗA;f`zB,[JU-԰7΅ k@G_>Z}y䃐Kixt۲> TwM$`$ Y%1;?DL_|@^L/ֆ\Mn - q7M!mJbuW?%D<"c;M^4¢*iXvX>Z(KQJ} V rǒ!M].)e+o*l01~?U^C D8k"Τ q zH+y۫GJx?JW,WkB3[J>i:ixA+!TgDBxieW"/>b*7×qt ^fz-ÜDSܗVgN29A B(~1ݔk<ªg?q2i1x #Gy ) 8?];rjk[ ܆` sTOm+j}ᑓTd\'BU"'w&X Uu0uoo⢘?|iM4c(`UT ДIwx<U(e ¯7zVmFꥅ),+jN)"`F4> b]tyEs*,_;}2D#>_6%gi/*KkNNZNGsԧv\_pՠ:+TMрwzb-dZ`cQt-iXjh)O!m՘d\k\?m;fI/x7^3eWO 4$u(W22inZx˙u7uIkF8M쌏L^>o¹^1~%K[7鬾oɃ'JC>P/D;ᐐ\lNgF&$&wm!Zf^Xݹ;j#4Kbʔ"\qy|K?XynB}MUG`2#:b#VoOBcZK\~@I 桰M}Wo0FJ5k' 6c;JnJ~$KE]%= mKM3}J(\+dUt@ tP _F1YtHl]#@ S Aƾ 1pV5Xbz'se&^8SOryGFd5KJ/=u36Xo+Ky/ށ0ֲߗ|JOK܋+䨼$*QC'=SCB9eZmO 7][%JlmR=i^*goqנbŬeQZFTDᅧ:I0B Jĥ u|rf#ܤS2⏋40Mg'Q >C/6v+, 3s%r/oG쀃 d]1ET=ٯ%D:BjQZLBzNFCX@`YP6έ LrpV}ӦdI̷0lT &3t<%R@h\qXLkW3Ҡ#a;M?dAWIP+'>eRT749FjNmZj1n*GpHhچ-R+J%K4){Ci9)~Ѐ*3A+퉨fΟp/LWP 7Mi>dԤUp3@gX􍵨ǚ}n'Qq&( F6&r0/ӑQx~'PM=v=k=m Csхa48`s@P8-1ƈ ?G(MPEPy#$|pYES:_E;=(LDdt}$ ԰cWY-I \A# anc ;AʚV🋮G?+NgO ^V#q4DM (h4-=, 3V$3Iǡ4? u}+2Ϯ^1h z˩s)iGxz!K? U}c-yXo=[)?&22X.yI9߉IEJI[,mQ"sg0C@vI=A\ak xŷ!:(Sf`Wj"wi {*ZBEK磠v52I"T?7pKb/P뽙_2ǯ 藡Z*;ZJ (NV4 Ikw/ ^w`9( i?EطH2{1~.#X0O֏@-OiFUj2? Ij,+k4 _k aD@~)hh!xQKT>%H8f B %`})J%bxh= 1J_v&rӏSulCG{ _7,[h(z: B|PqdC3]̘k,Hi^GReՈ_z4hέxh.ۊ gYZaae15473cab17e65555e891e214dcb4a0ceea530c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9