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 7$< ]/ BytecodeLogicJmlTypes:threads=2elapsed=87.448cpu=157.540gc=3.712factor=1.807zXZִF! L]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!Y|8xpդ)Ҽ/?NrkK|ZהttF6k\a4/7 цºd]B2+|\>f }{cEiOLe=/ғrQ0L ´g__k^4#j\R5kBS{M#'f$zlZ ̿Y2= 溩m]i"?}k)+&s~bFTX vHX *!p7Ǥ)88IcOjȤ䀼'_c0QM}׿;F__jmtq"8pfTṴ:2I `sOD!E]P''Kճg)HxiWDkS.\'(]٪G0][AL5' z Yɳ ʢ(gAGUC¡ݭ=؞DQB7?XofSzk" ~!gڞ"ce/<ޘTV#,>ǎj h\-5I38SpD֫,Q MUm?C73Id) A#aVOMCOM ОUXOTrsl9zzyQ{nLI-FCkJej?O'[Gw%΋: %[gPHR$c:8Zb?NZvf#Vt^ϰ.ys`v;}IL@{gr[N(Pk"PS t$'8iܪi!Q~CHmgy1cr*%# `Udq ω,Ǧ0/pVU}ejK]1V&\`9{tnNF?ҿoQ Kw2E7t^oM)]o3*ι 2R.Rj!<όIc`nJib)C<,.Si<%UORjp a&t 85_ "Q<*C@P i Y1rsll$FԸ˼/yIgYlvg爢.지jb"f&Sîmyݑ9͵ZDwFe:q'*x}7qm\R7ͨ9i-C&&{Zt~F9L7 Erz},i$4v( s״#{t;mmB~a^TqovO;=w.\i3:̎+cՕ]Id;7A IV0\͠F*8gaimuD&i rp(@\͕5>ylt,ձc)I6uUhpqۖ(A2k;JgYZ7zXZִF! <]ŗXi%9#nWLvJah+/Zޓ$#LMKYW&:l f?ŽcWc,Z80޲H,2$Q. òr8wE,VsQ AlP,MAUzdZ: @i _ZbڈSCDl2inc6Wnޠ] ]cU[%CKRҝы#x-qrtU#?"ދ49i{ 9;g]ܪ4"EuR^$$ lA3Soon8\9P\iZ TTWhn$f-R2>{@vA ~Qw&FAWUw^64`v:nzنOf\M1c0b͖y'bc .' ՘X**]x.Gk=zt|VӶ$: k$}atdU'X_8ZJ 7 BytecodeLogicJmlTypes<ǣ҈}stv郙i䰍(pplE`V\WBM/DU.w3,@gv^ ܇lqzCN]0ߥ%v jO,u.2ZQ_mBP9J7ӏZK1RFPS>>97*=);kʉwwS7;,*i9#R%ޓi+8aOP`*Hk=(\/ '"OAuV|[6rxEu[%g*]3 744;0Iw7&r";$P6"~[3kꎉ 18 zz݁;m9% (YT~Zcpn'PImtܿqK^eNŒFQT!&0#,n{YN 0?q'4a򖙆M\Oሟa{ 0e`! EXf+Fמq]Lfぞ)& }s1ÐQU'ms3ҝW9>n6Et{̰D.j%l{k#v~p~S2pa"}8?몪kR:J,@.S͏ "16ݖTP?z?1B,s2c ҮUl.78]U-wsgWϐ7m3͊OSBQ*_D:A":0X{BYvwMO&b-8u5j9 `#lٝtSh lNH 5(?"6X ߤr)ig,4osN#ܤ2oU%$p!L~S3(`kX|0( 0ύy aw#qo4'%ͥ[-h"L\Fk!@x/F&_ A+x%ܘ@quk<y]GC~=W)e3ifE#! cˊZ fcf>dhaab h_E9/E$5dfy(Jki 4P"M@7=EYCWaŚ#l'r$xG uudfp:MmoVǡ.x .y6>OekFգER KkiwRRE݋! `,jZWd+!ն=v S'GR~(SMPv2p<㨽coyD}q :FI\ )S e,8騭]F%b\Y(BR1{1o= Z_ܣȣH&oSBяpe ?409G!Q{TTP4$`!} 4m^BU@QxY[a܍k|X8j*1.p; .m/iƀy܌@ܕT`BW=" ^L<щ^57;w~X yeܶ+YRprwK2dtTq CTc";D^ԕpmί?D#j1B} "kX 8?,tGs]\%|טl4: [BO, ,q_6`6A5DT3jc 2Z3O4YbXeSn"‡:J|N7-+8;&Xk]*f li,h{g:k1r% HdU3;{)(n4__T`fH’ZTƁ狷 Am ѤL%MN/VQl5߅Qh-KEDOqfDZw;U3x '<b@0oم@5~m5BO0]黑toіGʿ6 UL_2CM7~ '8SCOsyx"ĿQNgYZa00b53222afcd5e82ad2044c6fd87f31cd9cd0498ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a