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 EE07`;Gؽ8nt*q* .#lw gh,jlU{n0-O37[㌖?(3r4[}~U+ڻHjh 82aݼjf(=uE09@F%~3?5Jbt,~7nL$"TE/@6QowfQ|VeăBG6z~H^LZOIɭfU88(quU7`GJ`XI= b5 XNsHK*ťIOLP,+*ƉxtKFJ7m͊ ܖ} 7Ve$s/>1v=<ц~i_7Mj~!@CŠլp/ xJ6hFO܇łWkr"M(qY\cᾔ&4 < Ș84Mv# n -kA(h;_0p;tK Cɻ1қ=_:m;uZlq SDa'M8 }RdoQ] g%dYi})Yd'=^7xL(5D7)F3"+Ҵep;Ԙ<\*>9yOeݺs*À*"o4[]g4$SLO̅tY947gC UBi0 =}?_C6BHewZ9j@͠%Oqb]SX$20)8 %6:zWoj4_cً%,$6+6حucrNiď<;ĶƜ"W0)DVl`[(ym+Ȏg&ibϱ!%Q 4tT5dZKy|icO7x`ܫ`-kځT (evOs]u{[W w@3yVϧQ?m5}aúUZ'e#UmRE{K o\,=R}J(ì<H;Ia2YcAܱ#"Prз" 5;(LxK5 ¹ _v o ZuQz&iyiH&:$#QjŸ" wsql~R 7 }h]n}K%[4diC4 Ӏ8 N9_XOJf xO;VzRsmZ/yK i.3зT*Al{ \8G$z9 _#+ g MgYZ7zXZִF! {]ŗXi%B%S/S:6Шbؔq<# PkTiNIr0]ǝ꜁UC,Wdaإ^7VXKfze]8io$MSH I1[p9=ïQ )g79 m~QX*&@1|5EI &Uuy##ӔdDU?BvYJc#j&cZQ9Z\P6q@-TIqzRZI'@NEc̈j2 g+ {Q{_gz.o~;8{lN},6T }b2q7|ץ$fRm5܁<KO&2Omj!F`PcXS0a=a>K-P*MUSUu8RMfuXb\XY:BٍZו'H~_I>yzN5I{l> Ġ"b1]ygR8%.Aj4;O9̞DU^#*QEĀXL`zbƙv`J) PM%\vI8 DGJIyZqA-hp$&k^չ֧P{iΈ\"3#T~oxo~PyZy %N~U׽k FꙎf1lQ:JrDYB—dj\Ⱥ9" Hre@1GqKP= sX6X}SA^* zpbm$ċ&vB12k>,zԕMD%(oFէ0^ߒN=H]`X g' $5;0r]V 5wMQƢ0򎒁sD`ü,0"x *ĥ7ybI/0~ҠFbEޖnG8ꔣ9ޤM HXߘ3T IoD%m1^JhCs_˔=#is4C%\*Nۏޑo(nLLyJ8C:ȯ)`yjP ^Z~2s-Pυyuy"ZmOI%hDRDwY;XF{hl[og?üćIn}br3Ax'h+* CjXȿHX|E쵌ᘂ;ۑy.̦PY<{AO{xr<A|y7t"c Ua yFoQ_ОCyD@NOW(/kRg#OlT"޲h=̙]qPԧzbgI3^DKʃ_NEˑb :0<#8r͜"`\;~yz ^ݦDD됪 ^.cZ-9e]_H7姘cMWgm/C#wDFGYjJ0j~-r=v3\14%C6"EKO%_@pȹ5_j!͢pl]Z Bi AcyMV줕;E?M E&<J$GHx=Rو&ػ˵\A\w# Gk Ff[*Yi3q26o^="K^l4O*eZ@sࠫ2ny^)U0&UD19!b" 4õꪒE| M@W3̈2kT2ȝL^ȆHof 2Z 8{|^ A7$MQ)Nw6FSN@ϟìS/[r p*Noj$b q?hwߑZ{p!a*}$b1pN#1f3dl,C985FHeeh2** 'O%ŀokD[AG.G~)چjjSC>Jv_}J|NI _+ <9 պ8&`LR{J;ICO)P2"|NYNF!DKtr6Ó)g*p' o$;\,<&7O+z! $-d!3@A,Τ8the0ΙwPI@jm$Ĵ=ڷBC*:-ɰУ3WtQ/- B_`j,Sh V4 63t.(a >xm+Q"غH)H i/JS,vpVE_R;^y#v%!쌫0Vgy;~?#j(垳Xk~x*%cPWiY?oy. P{oL#9u(f)Gr!\(5/ uG':K߮r3pR8DC m@$ /+KJm9^G`l8+y(pЄ!Zvז^jf[ʈ>en~+qKxZ} b(:]ެ<3p7BL ,*Z!~# Jp(~͋Wt`-z8M5.4d2fJEtaX4!AcZ@iػRNl#w:r$e D)C PE㑷Wj)G^V% D9\gP: |f؏q%=Ch "PtJoT`3K.p]I>kw}e_24r|sw'qV*ƊrnmWU6<|9^ $LS?r6MNdxU@-r#y/jW h2\Nt^rkSwR} VIl@dw$ȫ^|~cG ؅~w0gV9 5`xwuggDk ׼ϡ R0Aݳ*Gy;ήd0r(Rݬ7#uMaf/2eH5N + 0=!{]&d⪲rdzޖ Gn$COpcw}ր4ԐR)-I'^شϜ/%h5Η.剙i~W ir"L ~@Dɼ4|EaR