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  |\ c PCF:threads=2elapsed=47.081cpu=90.412gc=2.668factor=1.927zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz'{KiVW2㩤nIy6m5CkpCka7"Yx13oن&s_Jl10宊I{A,ƁkõX(hi-/ᚑ/ܷBוFQ}V9dɇ*$ZjC#(czht@VD}1$|GU*F Jҩcq&c_蚜,ixը*bS>\\*ቯselEw7 7-ǟNl+Bqҩē;kmBQ?FJL)4<ϝR&)5R g9cUC$  PCFhKti55аWR3S':,I׃E >R"&po[1:Np6&֌X 5Ǘ `I;4YfϰG%ω|dT-=qs!qԽΧ}ٱLX}UBjG&ؓx&g2*72nSy߿8 EV\tMH:^zEy `,[K 5z#׃>Vo<-6mvLaVa3frey->sPJau.SWWvbN;w.C| Ӛ0m6'd}nDŽhGt@NY'%'_ .`6q,S[뒎>D#u\6!l>@םW55mX ǷA3yYٞ4EMԽ7qqTv21zމd<ƒa؊  08'v܇gȓl= rz:!޸ 4kDj(b 'v|#"ivC[6K>L5_Oyv<wr k. r 'ncL.UI+F`x!ri(nq){1ظUp?Z{CR8kc}*O9҂W )4xܒ;"W^i^HahQD6lAm*[@ٯҽBܰ֕>=e-Ou캂) [ A/ff59$MBd&ws?6ؘ%MC^߽@4?i.)<#?J/K$M!v,bsv+T<{} FĊ?)Y[v_u(ѕh4(.D 0045K6>51=.=i|5LyBtq!ɴGE- ,4jn?3 8zX˩Q(b'rTT X"}4) (wI9Ћ`mc[* 3PT<- *gXPy,ɬւ d$xih;pMgTA/ЃČ Yܝ [9=azWR.J⑹G  x GkY"*z]_<ĴA*b;hS2h 60TQ1~:[fJjJ~yQ@iI$ݝZDuŝ:̮Of$F ~[y8 B>tm1?.9R˸'=j9U q٨/oAnٔo xw݌wFx&6hfTIyo0-?tcf..=׽G*'ܕ a I}jh4 {ŀ cpBCY؀qFN9,=cVD +DD!g΁+ -i oab6ҕM!z,td$=":W[u)g)j1X~u/n==cvno̹Pxǜʼn6' -rK%q}Zó,m7TBz̊ y00nр??Vzvbta]Qѷb#B@K9RP-5\}I[(lc6WH&mhF,tfwNk<{LY;%7"4<)ai ^2D﵌eĬUZ#Z*Y>z5Xƨ ^Ȓ=SҭqƜm %(IR(x_lllo q )6&q-`uGܲpfQop{~|w:Uaul "-bQ kt}vIb+a@g+&v ܧ^%%rq1TMk:>zHBՔ#4֊ 0UDhVebk(E/!oC\H@>,!7"NZ#W?>@Yd)TSZ[l3sC>UhR`҃.@Sl"YzV> -7eHӕ((CDž$eZ\GJ{1(ΊWfjȦ/3V\*#׻9+=1sm9L$RȬxEiP $l}^'Zb|>^"=+^Tl %B#kS'Cۦ*ծмLQE%X;缼nB^>$ꐘ ^E6 5[ r^q@J g ɸHKD4Ն;X73.ԮA3 \<E*n_:}ucet^f[mI CNyNBcRmMt̮|u .&;>0pGN1'@|rUOcy0y/mLaHrk2{c \IG`ɴX@Q<43 qWi;B4`ȣjOq ZJ(AT b1;$$9)K'ֿ]xj9I'\+%{Ko&.d 稟l0Ls,+?0@!]gYZ7zXZִF! (]ŗXi%Bׅ N` =W$yq_B80u;y_,K<4Ӥ $?W9Ru86(h3WDr C/#Vl??}s淓k/cYĮiyTA(ikz.9|]P8YG4L[f9[xQ˳niQ> _ zsĿi q܉4q!ڭ JNsG*qV9L>]R"mW&w3^!.i8hҒ_fZR@ lLOyyǛ[i*\}F.V*h*ϓ"G((jGׇ~">M% w"IA?-Q|{ghmzyR#>eNQI%/#O3< [d:_QjrEՆ_?M+9%7gu ҘԬN*_ayšq'eY^P]-t6*9ug[aL{̺%ŬRO%PĂӽRLDOS5;HY~IcJP =3?Zqټ'Neq Q8+g8_"+,Y!C6\'_gl5[SB=e76ׄ{YqyLeW0 @"L49elY; ׷vZa:Eŭ^UϏNen`_]4ЊȾ9ůvM |a?z2H OXi[;SC(zGblD}p$ ֨ / GT!Z>[z$P Тi%y}N~]dL~:Yw2%KU5OO~ *jǭ7= #i79K;;{N旻]`9MЬuŗgrbg?j ORLIS,Ƙ@~I[`͵o F)S{;[91|Db/ק*"{ne/̉"` Qx{{@=虻LG+4Isas3%` 27@ 2|N`/4J:Áʼ.p\R Gs] N0PhO(tEL|1Ǹ3= 'w)e5ovt#f(V/$E#xqzue8٪݈ԩx B҃~OA1F%a&sZٻwPQV=0@ 4G.ojb?t )ZJ9G^Z,0,Q1%.TN gYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 65013a568f88850b9f8fd811448c5025c2de86b9 9535624c0355e9b090efb1f5b6a746000c77c9f4 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 df74f801adeb78749d8f6ecf1245e4ee32c568b3d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 aed01cb53bf2b6498deee1ef060ba554b5f2d965