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  ( (M E;yeDkw!SJk 7/z(~[ D<c/uw~]WPyu5'71=rJXfP!&Qoaj1MbpLZ],>[Je ڄ=3MŒ!H՘NWYȨ{,h ֖6]*C(=U )҉X458lYjE2 sy`sJJ&% +uv-lj^c:R8%*L_Gax [TH<ӱgYZ7zXZִF! 9n]ŗXiɟ1'x^܎vqLKt1EOEgiNǻeB+V4ŝ],fr8C~l{^E{P鐹^ jQ7z3v,fz>o UWDT'6ev"_A54RO2A=Kh+od = AA7k!W&#(C~4f?RgupfuS5ݞ* *Xq5ZQXL G&zHĢx f'/@Yږ.mẕ`Tdw= 6tC7I~{/ޱgYZ7zXZִF!  ]ŗXi%;`0+pHK%-/?B[EXa $m4NM GtøIqVlgVCgԤ{3M!sn - R|nSZ7ZFγSkr[hԎ*(XNZ^HD}jstPFu&kVWazQiGE$OLO]ɗ&dKpR `G_@fT9iIx6& -/ rBDGx#dFAq!PNR!4gB׳»3HrQ'ýI s:VgBwEOJ2wsXEzRg7Dk,Q(<'񷁣y̡;{GhttY^Qbv.W"m}($1r$1MXB?3'Vn?W'L̡j/|{du7N;Z/2_6 V T&RT]חlԉEvD} }>w~~n w2%Xt p6]e5_Z58S.JÁ܌NuvQ ^AB8mkD)6HJ}Y ѕڒ )piwiD'P ZݓY0^jZ Qz]PTRd5BHVMfmP*HEo V>mwY`'u鉷;^Gaj^SJµ*ȸl̗NpU8m<`Z&w" x; jQc5HյH_ǃ `zJ?'0edzUsOMbÖbgzb-e͐ߒ$=zj74Π =KpEQoGw~/b-´qo ыoH"ܾ5|'XXHj: 2Jd9l:ېɱҕ3۹EYd Ѡ33PŭD4_{фn;iD#lt,uWAl DOѻyyח-A^@&l~chݑGi{L?ݷ#F`xr,VTdi)Bve(ZJil!gQZ(_<][xT%PBr'")%#؇ 0c, vNN%2iiFZtkuҶ>&?$Kf,kE>vԙ'S1yql%KgYX%1YI(nRN^֯QM!(_Ӕ)8,"%T=UbS8"(b_Q=LoopS:H7\~\ΐ%weRF4 ͰՂ=-˶Qq'`<&G&ۧk彎1yN/iOϥDU */(5XҳPB^'3 ЋH \$ZQJlqǒS,аeɠЗke ҲD˖ZL3ceo> #DS$JC/Ć|HUsG@k:G} IZh݆U_ʭ:N y!Uڣ&is<'~6Ͱ6FĸK 9NTW'6b*JsYE]հ Few*mOqQD!piu}~r ;u):<:"K)%ohBhA=F19Lu hQ;mh Ȯi#3 \(xPn F[Bm&u m^w4#ˢ8$2"|bE_s8b5>67z *Cw-};ZVϭJ4mQ`iRmVΞ}"!Kn[޶NW{y}$ 1'eBṊ 0&U$j !ѵ4Vx*Ւ˖Bkh[ԁV;t d|ICbh (*90AV0%"15 u;&Eَ!q+`~[.%<٬->ECkr R^@A~ܸ9ޜz,rmnd!i܈#Eve.gxJ][eS?V=4D;to>~Ɖfg8'q*0M5]x# fvQь-cdp{ZS}SGp:;YIZ6X4vOroÀ_KYҏ?;:&?#s3l된 ubs' =ͪabATa12V%OBYS0 i&%SR&WY }d P Ozv)}'zUUҹ/Bq-}M??}O4cIxRz3j7*=lj5"U&6.fPdB,N>Bld<ŃjֆBX;hgQ'MB6O[^@B~"9ӼQ.3˖.䀡ZI*ңj {y'+Aj Uv( ǖo"&K0~{/4p˛rlw ki,VmfecS'm0 }J_k9H(_܋IBD!ұiguƍ cChƤehMI]$w:8)*  >Օs"/;S2==1 =B-?fcɩ{E-XT%Ldr #fzw$;6h"3Z(!.gkRg؎E