SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  # \, 5 HOLCF-FOCUS:threads=2elapsed=14.103cpu=26.092gc=0.856factor=1.857zXZִF # HOLCF-FOCUS! ke]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>9I2ZBxBfqӔBp_֣e\ܖ6qq#: Yq$Z9d:" U(@>zq-w8wNog]G-[G%$KYj-JV9ZRZH]$NQ:|i Iz|R${f"n'sa[<(4ߠ- ì6vscw7gB]E0wdᜓ?yj)27X S#1A 1 h3:|)iKeޓ戴dNG˔dc- iG8,z=-V!\%r|Jra'ZEs55f~9ȑ3iO7`o཯u< [Լ>tfYYTn\rSA'9V}Qē RNfv,R+cR2~Ixt/t@ƫ57wt$mDf ?C<ȉ1ۚtYHM]BNskl$joCDQAD}ܛ*VZAhtV][j@S6kEEջbArKțN}O38H_zR< a^#dIk#LQ[;=HGHsDXbe%PJ5J''ѵ2] /r)(fKz)ٵdtUo΢4qӁGOb-{x$|?>YYOoEXk^i*#*-fV O~o:jhgͳyri<4D'dz""?֫1X+! &K 1-y|v#[?H;^ƔՈ]`N_4Pw|n)?"v0fI1cÊ٢o=TJgn" &5,4uNa/#͍;_PRZ&6?A[d{B5I/.,S'%)dV2E,7v;\iLgnT"ٯ9At!S+3//tftnO&(qI;u]|5vsfwhQbo0?L= `De*^ Ŋ[4䎥senڪҽ3ؒUxa\)?𺮚H,^9 3f6r@#㡧&/F$sI49;5LOKSC;T>ƜVڄ2um7!v\x`$XLD݋=B䜚;oLz]Ywhɩ pY❩ -|Q <%&5 ev>bk}*ڞ0L$,d- ?+F.r+ͳ 3$\8ML!᳗K /pFA (s Vmz&aTs*$S&CIT{cq+ MB2sqFLxq(6롕^{\1ȵ`uj1+ᬹ$CP8)tE;˃IMMjMwލ \V~72 I,~qc k߄XTR9zj6\(Y0:|JixqAID/ S_%H]& }NJwwte[c|6މ2dY3ݻhdbLVM^XnJCP%i?4M&z@Dt]1ғhr*A{gvo:O͹U8Զg75=($&O;'QGRd[1w^ XP<`:g|&2w#5"guǤW0ӚI[܆ӷ옝cXwzʳ` KFB?"Yycܜa|9 3c XIoOn LnE"HY4ϱeLbCf/'ł-ʦjUXu,/XH[Dzu?f#e^gi)lli,jvg(l+ ;7E+'SZ 5"߽_pfPYk9BN7;{2D2λz+;'U++Bd?3B.L~Yqf|]"lkX vuev#J>:DlDHmX}N`^4.,V]p797w[Bx[o`>]eRPߣA T) +FM_ogfe"+t{cux' 'y6:.rcOlia@xSh3VH7JchV8p;jQ6kV B69K# /_vJ"ɮ_nv{ J]>F}~2yc zY1EEwgO?fS#zN9^@φؼ舦>U/"0gZEP'wZC_^Ĺ{#"-49^O<5'y&/]8$I~{t+ߑ<i(yn\ģGz_@?59K^.Ob$ۣP|9y45.T]Ytݱ h[e"S^yq `#)- gYZ130ec8da7d99073fdd9e24c83492ad2b761af750 7a24ac0b5dfecfd710cf976d042720a27eb8c80f 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cf1fdb239aca179843816c6e95592083f021315c e16dd81c25115952353dc50e98ef8842c8109688 e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 ea07fbeffcb1368ab04358e4a6792a15022e958f f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c f7d7695b21718df39e8a80a5c0e149dd8fdcff3e8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 645174f4cff6174b9ce6ceffc99373d5441e2d5a