SQLite format 3@ . BBh77otableisabelle_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  i/4HWj5j%@y4.@nL9m2[gsTnq%FzG#V/,=Ώ 8(/ xRKP ~ثAHְ^eE'L`4PA`q]KALo` :{/]FT ->~I;m-=hv+*|'LzhN*¾Ti)a݆su_ +70Q ;<+"Uxg=ES)[Ǖ~R%`iL}J+{gYZ7zXZִF! iX]ŗXiɟ1˦r+g'^.e#M˶pFrG*dT㟘ū}[g }>G7+)Vrc.5 cٷ@CɭYgY.ZȇGCpF]fҰ;&'I`b?e5N )fJk!{V{`?z9U${BrnuUZy.-p=OBqme2đ)"|1O^e$)RF}^cA<-E6V"KA@=n@3|)KRUt|lqWYV,GgYZ7zXZִF! ]ŗXi%90ŚJpL;+ j*7;Hft"` ^J8T۴cB*hOO<0K|z׳Zy3Cd2 Sb/_Ax 'ji"ⴢ}PƻS DRkWbhs>BA?tY8p;J_Bߕ Sh-i)G+xxMdoQ'ixXLW/ъ/\p>WvF{fq'Ɉ \1bcؚP(yQ&j}a=%WoQHRP{lӲ=:Y5P/EEp(yer5uħE6[zVmjn~ZRX2URNĖb-N4W, ϑ&ͧDYeoev'S\"s>]Z9c,ofZ٥IJ`iB^(t\c_jبB.%eְRc0q0?nkpSF)n&Iټ0?$Z8x/ vVIV=!C"߭V^6CaSo$$ue1'Z1qFK*w&>Ad*2m>όjs66ua / HOL-Proofs-Lambda\WsBjWR0OTrlّAxhzZ3lK=U,|:Y( Xd \`bw Д{ϠD#",27jPEՋx%{[?~İB7b5SXPܒڝ#Yh{y|646iPԎZ[k/+\߀68K1I(vgHnRJ^5Z+LTtj 9} *PMDqTJaobp0O2%'}χW%[& e, og\ܜ c* ?FҺ̔1W@?= ~ GcWe.reޑ쑴C:Ů6L]m'Uf>ǜb!o^1j|YMoUz awX},19&>pz"{N.YqEC>Akv;5Q`MpON*jWhU#q_r-*@sAՏ‘ZN6H$T.l wZu,I 7ubظp.sΑ|c;Zȍ而^([ߤ$:oE,__Qs@: ⯉?R6~Ѻ4 n:-?T&Z9"y(h=Ɔ.2LQ`P?/ӐboPvFh8ջ] ǎa _FG)˗.?e|xik1LP H9Pet|+L\\\oZO A7~1Z9aī& pWtҖ.bNʑLrb - \td#qP+3c:u]h.buifH1{X>,-\C5;|WcB[oMNtS $`Q+:y4_a0$+06+ܡN}onK&AU0S_lt$܌?_wkPǃzz^)qS\LkuZTEk5e7Ԗ7BPzs͚N](/xi(!aӚq:eIX8& @?$?IlÔբ2LE3 $ #O/q_%J<҃ J@7??~_j1~g*Ǝɖ3- *G=s )Sg Cv3_zΖYe qJ(m8-L;дbf^YRp|~4(]@8` >Qʒ 6hp&όDʼne`Dڈ-ZQ{^ kj:,^4aPL22IgWGͫ"E> ~S%kgpx,|& 3[L՝x9&3سDzfҶ)@(OOw] k=yx$YΎj7X*x@cAk1szl ("o A(,a{Лdĺ| J{gcI pO b.$wwF Hmܪ9PB6;8XrtEgc^hpѨţ gÐH%;i"wiBGԶ;W#TP?^6h tOOYmh<Q>M瓔0/eR1½Ӹ~h33qНB`b҂e? y29ʛNá*H5VҵF/C 3#/Az(A.k2H2T;#DÜqK43/ig3zc8erlf+bU5O:hs]I o&k Y|F}qzՁV+)x*ʬOJqu_ գ,ujxa+(>N/OZȺ0)?K\d1{YBX3IJ1ndUep"gSV UQ1Xך !e\X#x U Cn _h5I](`@RDl郫L ltdb=)xNZ55M JxU{srO*IH8^ro@ 'eRPƣPw':V|YT2"ZjZ}¢G*OSd94 Ldɽ"~Ͱ5Rnu=၏Q%FRCa;a7Eڳa`!Fn[Xj~e\"co˖N\"6PGcAU1 Ȳ>{Cn٧09 X?uΛU..7R9 B5\`i<6qE^*