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 m\$ c BDD:threads=2elapsed=74.192cpu=136.976gc=2.280factor=1.857zXZִF! D(]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>/pG01aa885'*Hu6L51JV`̲Q 2V#F{!nw_'Jh+@M﷾'cFGQ ġ8C=Z%`z݀ud+-)Y5dv䦪ǹ +3u+ϤC3 /y4ܤtւSe9.s Sȼ0˃HTt!ٹA8Y2+J}IŰZglg?^fCR +}S!"Th}|1 A6%pr#Ѱ$p!F;tG'b8\ǹW3-E'꣬{@ٙ1Sh? &Ih>Kd4;#l{'(x! {o:Z(kIU/6&j,)b#,fr|<O},2,nZu>p~nR jXƸs4\bx4KK]v_w4ѺQ+:, G }ˬsl,=̊0(zj| ܵdiS_jKS6r]ǗR v(ED6P6"WH  8EVp0eb?4pȱa|[+չ`?Ht؏"vpQfN!k]Thԁ+9|0h'u7w4ȹ8qULhrFR6cINа"?tFG:faw%Bl[TU )jIgpŝMmY/y:LԠwL7` z=M7@p ]l4 X)^yrL:Jݝqy~ [x\qrБIH: j"ÔK?MxI/ mF[.L1S2lciflhp-#ؗkunf8R/`-_ f5YKD);'D02ݻ:3oF( <[^ѽ%T yEcFHf+.S``G{[mƋ覮>3O^pM  9_IF3WM+|ʱ~r~PP_e1E} Al-CLpKZpTo/ mme2S-*GtuT>%"&,#SsЙ% 2: 2y KI z:ԱgYZ7zXZִF! p ]ŗXi%6=27dl #B~>*'Q`ZWE*['y3c.uk1aΉȼ]D+~v~ Щ)l|Nx{=p| >Y2ϣ=˲a3{H^\K`Kk0(ls$ ?>o;F)[ aݟ;(yo;rG4 llڐ9Fу>0ZDQ>.(9(#×2?x$^]$IH2'I>,rud iS(MQ4TVEf2؛ aq;D>8mF<ֹ gчz B_مP_ѿ2jY7I"`A`@c- <)(d4QDX]VeSFLT3%5.uǓAkOxU&`+שb ǰU1x1_|MC0xBɴR?Pݿ  BDD,Wb<$ {mfrrAP`$ſB ϞW$:Q15l.n) `-'goacE 4U*nbp""UYc6^cz+]w|o jrA4HnH(/k)OuK'‹Nc4Ѳ8]~'Aye&5B$% zrj~/$wT̨5M24v&aJjayUcg}HX`_뀴 N F՛ :;#¥n"'A$OJa1UZ4$X.t'ć}K V ?E,t ˵qA1;&ߡ^'0d̾ ɍ=i\4pұWQre=ײEn,-hcN[F +6z1 >0(qL)tz=D2baѱ^T(U, w=}Y`iru #iED՟QͧnA;ˊeO΃;!|E?OZG0@ OO-PKճZI,'FlRYgai8)KQpiʌyN[4]dxlp@BT72TƴKݱ 3es-;K0ҡzK1[Ph{['cD^>&Q2lyh'ΖhkG*ʇ* $B=UY:G&j$ }](e\xQ1M7@Ѹżr1~t[h5+(\hil:Pӫ`x$K'aҀPmzGV\%x~}@9ZkV.AX>7ȣjUei65 V75/ |1"+RmTWj}fS1I*+ sbڐ ݈'q{bݟ2ushRԎy{@%)pW[m@+^Cj=LdD|&O4-k :3 v/'!'0TP>kǽZ{bcX޵#ԛY֨/P6(i\*"CIp_+hUJw$ SZv}aB7'2P[%D0{{Q.0b/<8DrFJiDIW/KIf :Ό/#Sq8Nӊxvth9D0k!})FK(b͖q}: :~q ]>9%|F BH`o-6¡-Q)k^fq=4b~@4BgCGľ֟w>Q ax.']‘0TjCm ;%E uX4 y"EvXkݛvh#\ͣ_oMd+KE5ر|o_yIyiɒ y'q@˼UV$Z۲rY t#تX4gۥE+LO'ӍFܸ#;J:H\Z89(ٴEZ{y+&fV3 v ]`LTaKIIp:]{jZ&bGe MZ> i&hVt*7Qe}1S~]8`8ef91iCwn[)r$2GHz܉L 7=@d\Fzl9T qgv,G?@o+Fh>1楋tqod髌;&}>H"H[Baآd4LT8k6YyYp b=n bWD1ʄWU行gQat~*hNaܤCQQ[ B-"nt͗0d 굳鐁;kT8k%+D+ W[\Cl{B"T?,Y3{F+=eh .1܄NAݫۯ;]bZη=c,f̏b֞Wzt!ǔ:'6SaUdeĝVBOܳX7 !znOMM"[ /ˆI|] .fBf[]AM^$wRL;c_^ Dm dpRa24$Ts P!19Z#jlf5366%ǐ!.M_* l]K$L! +*))U f9H#G¡*\d=G| yR'IlCqHk;C:0ڼaۺ—PצAaH o'3a31 /AMϫD,;(e ..^B J*C2KVIgty%R< eKk&·9J<_wE yWH&ڑd^m3U_ujUS+JKiDA_}\,ie@XW/s>ɦ9LKYNEzO$סjb_' вgYZ019954d87c5f58892235d9ae80daddf7d6dfd21e 0909d19d7b559c15778419e3eeea99709cfe2065 33a9d4180647089d144f78843d9eb2089ffb4c77 3653283827125f2f588b57bbe76c72b8332f8849 443a551e9c13c542235a4ff4c753993dd761508f 4c9ec21b63f2210566e859946fdd54905550b062 4d1e02ed60e121180000bb8f1d0a4c89e2a31d06 6174bd33abcefd603606294075ed4c44a2d9454b 733be71e227cb5309eed0a9775d52d46b41851a2 a05e39a1b44bade037910ee495898d62be135310 ab9fa2e8b982b2c6f1afa0e073eabdec2651aa9a ae96e81b03433e2c4cccfa87431aa542362efdc6f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 284b679345c91285f7b21417d050ecd96e1358f2