SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 QQ$7< ?/ BytecodeLogicJmlTypes:threads=2elapsed=95.653cpu=166.376gc=3.804factor=1.747zXZִF! y]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u lZ19V 'm,D@-`0麠b; <7 -w;] R v-}J!p=Rv-Cyy mi?})kkM1RR0JpV  9"rA5S,tDy|T:yZo05x?f _Jps8_4(7K6 b {D Wg1BdAJ,RxDІYmZ'85䁶6$92">Oeq:꫸cl E$43;Il1:SA7 K/NDb3@.kBSċuDiZ{-/) %?X8N?0g Aڠ56~W 쭦ۯ<Uwm{P8Et]T 1'AyKo!x?.6r~h5<ELJQX+FӗBPZrV^ _`Xk>0 ֏;8V%NR"Jo ۾sH,F?.َ1lUݓXDi)`[E)g: 90%V=k0]w[9`=0~>9{~@[QӇĊ)Ȱ͉ 1|/tب%-_Lk\+rTwPp/S.]7/`@>/r43x!% ޔ8MDŮOt&]h'%6n-!{{@8P^ հQFج&9Da0dA~%ᨮ0hFx郛ۼLE f[HSƬ| !6 ^hdp;r6UtۯH}WSɣģ&O}X3j4$>h0@zԾc;[_.ТvcuuےՃ':*+љ,k]hW%:+X>T#NTKC_4yey˻ؾDeCs?hy&\̍|@(AV;ڬSOp$=B{k,o{f)aN3?S)Btgρck/sdg U'+'nu9Os6,0a&͒,pzAkjv9rj9brcA ٓG ҂7L3 <n8(qUrl8EE+(م=W$<15`Mr-jgR I%.eTr$VЮyb@T.d;ԬDjDwĂiƂ{%tz2{g ҂]@=~s"Q_PgSE+miK0A!9yݳ;>zSF| ,?(cٍ"9wf{@XҽJ[S1^yNhUngnx2nVW5pN Os]~DvW6g;2ihm 7۝3J}8{8h=Rb7z\\RVܱO5k?׬N\3 c63㰛IgGl|3]ۅX 07_?=th@Oy]E仈wLAhޏfl\ֲ*%-:ޜ)ĖWgWڵYIhw}DbtuChxvG;Mm5 ˜I*!yuj}J۵!$jeL` hᓽoIIkImB{v|ucđǭ>nkRU"=8ӕ12 xڡAO8|*¦;ˆ5͈H+.n#8*O܊!wtjM!,Q ]Yb]$eiSUrltjG&ŝ\z>YXmhrE텴jl]Rd8&fH>JnJ Z)tav& $#JԌi!r[0ds ճ--\74XL|K6!\L0 }ϐehf%j6SZa똺*ĐSj.(uA%JmHrE.4R?i_7\;@2p<2e^8/k;wcԞISJ[ɾꨇhGqJ2<-SQU(Tg-#)tfjA@eȂG(Ӱ 2);݊ ¹,چ0OkUxؖs]q)1e )י\U.yÎك1yyN<{c;()l%*VlhڵڭH8Z1# 7,?d.BѨ<~!ZQ x5g5 Tz5U4c`a[rPH@t3j%\nmG׺ K9$ ~2u, AftCR93ӱe6V?\ۀK#Ng d>q6Ϣ; T`p^#Y)f$;Q4eOGkK7;fA%*."/&ӱex 7 BytecodeLogicJmlTypes<:>۶wcU>[o'˯\oΌKu+ɦ|+9X\`;LJL{\WRI޵xވ"yP>Gl5 -5  I2/ˤڑk7Oce(:^E O0'o S4ikCcI єib灺V >?x{ͻY7"{V%>V>~ b#؆g\l;p ysyuB:^p//`:z߃e,/8>X]u$ֳ⛰k7itT{;.&2d %\ NmZ k-ņ`{kSadŬ;iP5󛜋DVف_WL&Ubm0;m#Ut={yJ- ٱCZF!F1OY(WM$?s"櫯]LxT*kT픋L&tT4M#VOz {dM c[C bă=˕7(*͗ܺ%:L45  t +^^*"ANXԬ1 :.9܇@ي 0:f͹_$T鮱!bqNk΃W"3GrVjLvX?vVaHpV5%8 A12ٮu|g!mKL&WldEa T{do2k.Q]$]yBaM(阾e4ɗ?34{c_0>,Y f)`cO+ vR.<05`qJ'G?#M'uI\?;1=tB?aޏe) l"N taә*ʢƘ¢%lWVYvI݂lzompmLIJ0vx!X`7:g>:.h%WSzGݻE`dn]#=͓A!J!|ī8 24 s ]iz-{j;zWW@3]͗3J&6rgc!霜 ă. &"?N6fJA8J xs6[ُR_l#˭~^:9Li(0qM1s`BۊNa׷2mg. =.6Gn| s(h6°)\#8Y/cdL `O0H^M " ΄#7ESz.9 1NGԵC:w;]F?Q8Lv7C{k><dƲtڷ.gvLyuFD͝#_2[[ZUaf\2ڣpd[C%@OC^0A/&O$ r+ÿO7¯Yo:+Iח2_cE71[!uT^m^[Ѩzw==!"+HB a 9y(L!11Kt![,im]*LWӣ/]^p mi ;*t h*uX)NOCUryR6[1I_Jj>Y1 䱧bNQN^zQ>ѕ%(#[Q_BM-zAt{qb:l_{,mv\kP HGz\P|f`zH`0nT] w{v΍7/RuNjMca'Xr^`DIv (ox0Mm}Z#R'Y}@$}ºz'y]Ѥnξ]`a{_$+]tvDx]Wiq= >oRQleT̓HUcUQ|77oszyƆ*\v!eyb||\|^nt?F.;o?BOδ ɱ$ܐ bLE,Y$܏MʽgYZ20a5fa4c65e4441c48bd913c72ec3a1ab0ce61aa 4173b7b269aec06bfcb2191ae567c7d2a43f2760 5466f742e4a2ec154f5a861195644d2959b303f7 587e401b02d84796caa9f1747249c36c15d9e4a3 69c6ec4b081097415301df5f2292cafe507c4cb0 6ab84f45256f8ee94d5efe6e8355a94ce0c6adfc aa000fc142752531e559ec6d968b87d35549d0f6 f46d9bb00e6ec2dd512e7069fbbfe8ed6f52479a fc22cfc9f8de889d57691b02b9489ba4e3247acc ff2e9dde1f79ac0b03b0a61515595dff4b088248735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa