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 7IDl c/ Abortable_Linearizable_Modules:threads=2elapsed=84.801cpu=124.044gc=3.896factor=1.467zXZִF! ^]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=>xi %`r&5 !$1ۘKHfT'Ž`^b#l[l@bp̵RȔKj1b~]?#2JsL?ݩܾ=0gqN^mz $!ڳ+;.if&e/1H4 $wtk:C0t<0طKl|bZa[`EoּuBDd^OKeoMiM=ͅi1Gx`GjW#xil=lf3@, hn+>[t?m6y'b )a\*jRЩWx(u;L,o¤\, R#WD\cv YdK0sjF{f\XLLb B:?>d$IfttO\qnJ[D&BR@9SS-1xܧk 9..# q2y"x8[",cf$*)J˩W:p\Za/尽w>\n/,{ ]Rm*ί>/4b?ޅ &\Q'&WbegF%(e(z7a2Ή|Vrr7qUmmyܝj.Ɐ201gCVauFn7u_kFl.)qhhD|u·gJy$9|elӭUYEpW7՝˛ym,g?Zf}.R=`5 !Wa C-SLK^|gBǤH݆|HGrzp&6 XU#j܎ 1svĺI'aIL;MVuLu]|H~]+eX/v3!h꓀/VPj Z4lT}4*ǰ!ifuJtf,}^$<ǓoӍ.em:19& 0,g*s^'ZqNlp˽D$Lk3ǔ#i. ŞTv[60m!13e/ -Od@q O+l5;2NG/dquO @濹c"*(΁+tdlP,8 -ۻm7g[E9"Rvh{VSL?ؑ'"tOTܰ:ˇnrګi|߆%'| nmCǥR猯 !I Abortable_Linearizable_Modules;dc/PXb zAXh*=k2i26jMz@dLTәMPֈ?)}ZX 8^,I ץQ[aľnY*ҥo}b%Οt TvJa"Z⪚m">hKڅfCQ U޲{ 0d's'Cř4Fk1L3y|t64)t{#nn6hCi+n A!"ytBUk ko\-9hRw93Lݱ5%/d̞3rs`Sb&B8w$]7ws΁h#D`,~^FOWrǜGG)<P=jV@D:w?_S|̯}{-L3zGi Tg]2Sft6:BC*+ wM Wc3y$%Tv v`3޷N,^ý;ÿ`U%*NPD\JS4%"('aso+N1;j=w},ti% b`S-9gF_3T YQuM?ޡ5q}2r2 ;@HTaZ.e_C+-j@$FF/Y<ܥ$maA.R)#uFWq7rϫɯ4M\֚bb>t\>8k!K`~ ,9+ _clħ ywhyeWJK]TkB bAjch5,g@ǟUѽpnol TA8["F!tC*?[:=}iik35SJ_tQdqbvRVmgȃ@oq撵f&RH߀Ѥf3PD) hpv<^ \u% :AC/$ɷ4@ld5i&6ǡл\)@7~ 'oO+O;$qď,+CA%Y5pP{uЎ!o2!8,^ ?\чsY&I3~x+IF HX*?$U/2`od•tV͞~ieM÷((ﱇVԧ^c%tT|gtuK R"TӾfb2/%n(a-}ƉAAQQDgFEVIFv(m׳B<)I1 va{4̋~L-"5RPoeKox$8˜0VQC`5u/lC6ߑ0sӗ'IpAri~t=br _{ ԣ9ʼƳbj^5]p7)8W961[nj\3#8@ɦO;`#qnVlemF_u0M3!{R'׿[)U{rlf%T_:$" "NC0HfKaᗀI\ .>Z LOʅXd}v5NyqI r*GH ?:yE'eoq.hPj9HI'u1.-;ζ9F҂nI;%x^睬jmr:M8{_Gq%6:gluc ?FHRpߪZc5MHȵ_T8~mH hLo盁UmX´E !+/3 UQ4S~a`hy$11;VpǏ ] GZxV|Ĝ(T)~]4˜~]m낐sQXpi0tYEc啄,'1ռh G`jsKeЙ_G+a|A.7С% \3RzS3ǩ=N860@J++z/ SzJ׼Z?|W9nrBO8LHws󴯻}%v~KqKXw AX|O}gAd,oZf!+mֻ+^B C'C|yKqLc(-) u(17w!fæÛ4y x1FsH8Q뺀% 64h,.a瑧V!gYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36