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 !!4)t U Sort_Encodings:threads=2elapsed=52.363cpu=103.292gc=8.060factor=1.977zXZִF! 1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kzv6+L?\40l߁gpa`S$/v\@*X;׾H̙5&!mkLSO:e;NUEf7K1k3I̳N'JkKH>vms@n-vRɊ])|b(c.%f`; @Fzfw˨0_DuB$i2\cJ4Ύ1/g(KHK5N9 CFa ) Sort_Encodings(clS4|XR*Ƶ S.VWݝygURq4iaHy_ENzcV3ѥ>8v~|(}|[X9Mc9o<+뤤AT[%E^gSG?qP4C㮕7N5Ũauq8XOW}14wa9Ԅ6?tq欺YA{s]敔᭚ |p$&0wZ8y$ @5Ax#Hpa jr5Vlq(] I:٤{ T a-2ud8(r1rTebcl-'CV Fyvs1^'⸮ w ‹~Vi7CncnN49O=:3ԝF-1 +PS;?՘G@P~ڒ;p+ξ$qE_W3A݃`i{ݥmD2a6l rRpaĖȘ@b_s<8kbvTY,1'$vy5_)KME"1R/W!$B&-ͯL\wF̵.Vi3M,0z\MdO,!#Ҵ\<72 ]k?iJ`])M+6m 2bm3(>~r.iF -S9vA^uh<` RG[#!Áj-qLs7xD1Kf@I9P:ПI302[@Sw݋k,B1ƹCK1}L~L؈e<#F#'c EP'@02u:Bwlȑ@*t`z9mQbzeFR/,x'=I?G:SҺSw:({.i`rB)B&좇WhA!w2N]{6ap鄻90$/}#-C:aPf;1 Tcri-jN+x}1SfF{H[`hpVr܎}@i MxTB?ycCE\bʼn#sC>=jllLz|41bP L3S$)`uvT쮝Qi?e)UHd&Bg0O/uJ ٛAEB@=s#*Zla=hRȮ6% s|ެrX~~+!Vz`V{F 03`߿{20[QU`]>)L:4SM 5Hl1jc# \6Uof6'T,- ұ-ޚ@~ОP"'-SH_x6KP18S;ipΞ@[éDaaRf'&!B}0g5ޤi&8 I5=b%D FY{}FB"+,IƗ`Fn |5|EgO\sFJbxk\P(B` 2ǺL8j"R.\,We;.yofZfGۏsz~BL.9ɀs hI[~}/JGKč# D`G:|3KAv'K(SR8U~c$L^y_kskXG͹Ӌ B8?B7K-AGկ,:+)@竰79)g[.SS.+PrvG`,1=u ZF.=$!@G' WR=*Vc*i@]#ݯl$`Em`7I~*';SSvڿF.j|7cL`°5 &k+@p~A՛FH!E1Qw/l5ۗSV s}tK 뫥,66F4-ʼ'JΔ\Xf|1R򼶍jU92]I?#4Vjn^]<Md;)V33=PG!g%:C+7*ቖ,L<\w !IqJ\"9Bce˗ފl:15 6Y!J.0]wwjrml U|ŭvYO[F#` %^^q([:TCZW 'A3Dґ5% Cà."{V٪9s‰Ʋ1ɆZ_kF|4Bqՠ/TflHhI§}(ȓB%M^-vQ4IUyUkher9X9 21gtO׺#<㮻l;|,Uٵ *YBǪב-b1tx(9w$xh}iauj0c8^$V^[)rF"K6'CzhK\,V>]9vX؍$ Up"7&_^FgYZ7zXZִF! + ]ŗXi% -ڍj!ХC(Y| !^I ާrb1oig4Ԏ00U\E?VBBom+c[ISՋ&LJbGr&dխ7' =aFA4}9c /0>rǖ+I-:d3*]ܣh-$b={ML%kϥd(Ir'fр b[#Ԅ.ׄw&HDq4&qUem0)"c~*0i;ZN yp~IA6 |#{]"}ح;]}sC*3emv~1E95a~"ilKtԨ;t ;T̠B)JXvi[ 4%CV:.@8:FԊb/Ff2㬹 {m2*[9^}_1tHV.^_W<Mx$ T޶1% |]FM̋&kr0 G#jDDR8ӗKTuƐ|h"X|ӸRIƊ^z[ l2@N~ *a`bՊ9hu=i/vȾbvsݬNljq"?HW|JOUm󯜖naRrXD*}^EK厞|ݦ"-PB1Eo369ydMoJZn4 ˇ479ghF e[+}KѹiRYxJP‚3ۖssrK .{.߼Z I `=MqXί3FV)2Ni^O<;:0q1u970ZQ5 7G PĊƱU~q4 UĈĺ2*/0tyzdAXǧƨC|Fnrm\})G@/նH"43O% efti,z~μþ!$e3(oi)Y6|aԃ8odZhaTpje:&,5wS09{nkv(#۱Qtؔ$tBϓu,CfZW\tHZ&=CD mьiSu Y޾4J2GA07{-ro V?AD)]m+ ̚PE'4nDߔC#fӠ?{ RֈO3hvS^hZlCm|IDfihZrTsDDGC\Ž27< EGA˾ƌjA:䌱B Md 㴴I9!-ۭMU 9;P.ǣ-}$jK=c:>=[H$#t{8 JJ́5aJLmgo(^ ySpg!ɛxӶO*IURU qyi  /T2+ӯ Ka)x|;Sf%@L{4DZS8!_p  Vѱ$Unsn6OeQ.Aqt)M Xq "ɑrʩZN~ڑ+䆟wjg +[b)mTWʠ\~s'*̠_ QH/9=m!ߗx1~d*7kq9Rws\/ACs3 ??^F0V+_m3{\ b ;+{<*ʱTw8JǙMɾ8u}](W9qPB)󱇣nEi|A~CUVBz0(PjS:R(PZ%S-©Kǻur4_7 Эx9}cO;zk,[09]sq"'^*yTDq A\!/㾱/W5'Cl7w^n7ޑ(XTbTa%sw;L'|ub;\]ZAf42eIK̨L6{o{Gv5Ȉii~7u(QXlr F#Ĝݍk K^ ()ܧqxrƟxOnKd+r 5/F={;* OdvV*ڄ2H{Lp7;k>YoV ܥ})gYZ0c9469e4651698f44e3e228873be074985fc67b7 20ea6516a8bb1f7f460f7539b6851c4c88206d2a 2ff8fe7c4fabea1dff3ea3ed090210f39bf6dd1c 3a5d224321abcd3025d7908939e5051282d40b17 5117119a178eac69d137fb85243808da2d667eaf 530439dac4fd10d4901f7c4b3e803792746de9cb 5730a07dc56548845b4cbc2cd42101ccd872e720 6e691628acc2f4dfd5c1fa4ec08fb1e38b4f6224 748b6541d56a935bed3180274f0faf1b843c3782 7ae703d361721d369ac45f4e2b82b121995ea9f7 7bb2894bf6b2b1879e224f67e577c429b34466a5 8521945443cdddae3ad507fdb9ce5d0f31c7d17b 9084fdcb915a21bfe56579b05493873cbb36e2a3 98d33e14525d28dea3a32f954325f09dbacf26a1 994e906601e17310bff00be21ae5e216ebc52992 9acc8ca492c1e307528dc3bda9c39c4e8e8bc16d 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a695d71308694f838cfaae6bd1b6774a51ddb97f b57a108564b650d9bc8828d6d509dfbf89d0d784 bf8004df5548fb3b8cc9764b7f5037482e358552 c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d14245488f773ce049ba50b4fa478a906cb80044 d743f11a6bc9725a8d74571fb0de06381013e0a1 db461de9aaafe24c63395d404c3b9745cdc33aa1 f2196de5f18cd63829a1c044af031b31dcecfb3a f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 ff24380b584e13b0c0bf1f98540b082f3db4a3f370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 ec623bd6353906382cadf1ebc04bf718fca27189