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 1 < s/ DiskPaxos:threads=2elapsed=39.843cpu=77.612gc=0.984factor=1.957zXZִF! ]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsK1< gLs8w}ڦˋ%D8ԩ@\<>Y is&7G{A-[¹1^-J8{O$ -z2>Mo]W>L&Dz z7n(E%]l89E%I=Q"Pᰏ{q^Af sk5N~!V(\1 :GӁzJŢ,`q^-BsYA^)8x A~g Vox GDik:.41dH5v#*:g:Xiba5N/fǙ/B~.eϪY]ȕ((< H]7"?LC0s#c8{z+.V'.ZrcBcoeȷ&ْfq^l) yn`uavRAic7%ESa~ui*Z۸ 7Wk1qi%l}Qq$=h\Y* *_^Rڕ4\07r0Cu>u? +ciBS ‘oȣ syN-$pNU3@~y!xd<2y Uc WeT$d7K@";BF5ڕxe{.5mT)ژ>SATRJDBrƓ?Ρqf*{GD Ir@m}?W>˨NH;e1vMgP{/NsOg~G[Eh#]& 9uzB!b^t``^b-BC_3lw,jARO@uj +ay_.D?R<) ȫCYFol@ASVO7g4Ep#DI7l~5MҲQ5M{6Y) Y sMO?#f aZ3ؤ>M}!<)^d:E\{>U=iilUܩ'µ#]ޯdjG<~k_htՑe`uRbd}DQI;f&Z{d35*̏Bȋg08}b-?ľ?#dGpv[BF5ꝣA_-Np 'N;~O "#PR\H#Hj žs׽we:>GM v"=ZΩ0^[<夲7*hE4S2ʹdzkSbpK<$+k1QH-}_H{1:2j͋ ]R|Xnzw(gQWSktfV +ʸ e{F!W7 aYey1e꽭FFז&L>: ܝ'WDX2J Sjk3 \Ų)8H,hU?n\ ۫U;Az|LtМ&\oߓNQF ~l 8xrDp%qo8Z.'kimޝV@m  t2&NfY!p8.𺴨Wۖ[S)޵RAEy%yGPˏHF %4eۓ~?E+d'o'w? OO,ӾWݩtnPsw&)/m'uP oӘ(^wDIhjaۨb U4d{ uQp0n rJI yqO:/wnUNnzdQwVB)=_Mo^ Uƈ|S=RhE+).,^Rl_]>Kh`ٸE0nGl̢E?-$khvUnrVivʗfFNiZ&$ֈOYGߌF~*b|[gFex1ÍG0uDb^|l9|.")Qn35\?qtks.ͱm gn[V&ګ#H2T8]_/4`cNDV w>M5D1HwjD=.A`):_ڷ쉗ۏ" 8ȡgyrcǖ:FOU5+ IRĚJ{K]8)_xe(w.{~s[8O:V6$krq4[>OlZ ]Y$3ToV?\{s `teMnw%A Pp5  hR[ ҺRp{Ef)r|R@Az6ʀȷ[jQ*"í;-JUHK"xӉOv[_,ݣu6IĽ( .c˷_s;BXŠA[4lXpVbL!Z/Lh'ut7X*aBo?.v/$S2    DiskPaxosV*貭d 0G#Z#C>(?W Z!eM0f*mGTdN!6Nafߠ/'h'DeI^~2l[rɶf[ktn!.F_Ȣ ~13QH6I98PPM>$^/ >\F>Ȇņ %9;)Q7WG Q1`z7Mב?xwWSauB+@K;ڇ޽g%83"s>EdRKgŽ=Q!Ha/ _zS SXDڡ?4N Ա؆J|MNيK#yڹM~U(SU$V蟉RVaXG)Wo8[eQ>qe펠5H*]_:bo5Qt+ Z[yGC}W``}=w"+}"]]yٙR [\'>0+Fvp ؠx@1]O SH/pV-G՟ߘ[gYZ7zXZִF! ]ŗXi% 2_4:?Yy&-KVdL\H}l-_lvCe Yȩ.n0DB&񻦐IS;XM'xGp~E>_cgSJώX{ZVM{gPy[1? а]K=5P Uf4žTn)AOf;}5?K;OU30Ãcvl?qSڰ-m>ՅzAy@ꭊ{Bg߸(Vڋ ͨ+ٵ{,kZWPYE'Z(Ynga nXQp.BM)o|b?&`4*~ň=CS/k~5by,4rfҾtrX0sP٣Y-SQ^l`*$/6b wp 1EhDNk l۝v[땖V>Ts%@ o;uA}(% 0 Y C~!>#ȇllidh*[Ɛ X_{xpׅ8]GO*4Q%y}dpӊvTᆴUF#RV1Mai ̝D`9։d$$Z&#ҹop31|G q+bbԎd=oNqI hE_ g6a 1oƖ=& Ne8!\RL#r Ȼ-W*}a8r·zʹ`I} ݽ3Ubˤ%8{x</lQiv_oֻn8I16hQu^XS*:ˇʦNJ`4SHBNiP y{ց䇪T;,c# ;݋6^J4< JRI9`Bjs[$ĺz"YI'O^dU* 9lb2Y";ZbX[Di!GĴi燦V +!?Ws3}RoдO8-ĻCflYo5%C05!lw1OLfY]&\dj$q;H + !aLp˒R#t#pAݜ|pG"]A$f5d]ʺϏS8'>.k2 Z`se'N]jZR33 c |+e昨IZ8 '삫GzZHz@elW/@,G %JxWz+їj}i.ׄk_됧ƣ