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  4, _ HOL-Bali:threads=6elapsed=61.116cpu=205.804gc=9.168factor=3.377zXZִF! C!Q]ŗXf1-q恈73w@9!Ӳ) Fz_nU|!i"JYre@KZv?+r#9ș療THi(̒lX#اn8=#xZږ{XKiw ^lz_\J #n S|pCJ펷rNd ZrPQ'l8RVa } HP hGkZѐǦ;b&Imrx ޒ4BtSwC,ꟛ6"eB{eʅ6`,i+ҕ⫖LkX */:d+Va0'fh.N 9rd89e`,g[qe&-qLQ>qU54T---F*m=R|u6yI*{C ׃ %Ɨ ʄ_|- >|x)SҼPߗ(.j>kb0H ;`B ?P?zݢMscD jYs-C|V92Jה+LeC4!CbpDqR_<ߙ(Ǖ"f/^lAKtwPRS+-ƄT o 'I^)}NL'̠TG/ML/&m3/{-tVueHQn%5OZ# ]nytۘ kh6p0 jtUFZzURFE*'A2tϼ'2\c[ߋLK # A OQMS&{}t_LVZg ʺ޳k8<cw'<qjH&k@eeb@Ʉ,U3rL8`xQیm*'u^4 GFO玁F^Joh}GT¿ !`%e}AwÿY/^%dOy gX$ |uqƳhDʄG"\U-&ؖeWO!D] 7mg(%W1HzAhhլjg*a_8^tq[;>&"691<P%`w jqIyVҲ;zf|H ?ȕL'=%ecqJڻKF0Ť/Oz~w}(ũo?ML ,QCK%\[rEkea`8h^g~s==8la#w3?+,6"M+V`KTۯ9e4 E*SZ-o|>_s rhQj qUDUYzē* MXf856qo>Ӡv{mczK(\x(k3B_T 0|9E%ܺ,a>8Tf7)u6z(SXbct5~T'`A9Y/;gI,U)۩62nIpǐl|x a- d)uvƒڕMW|~5s%GX9"].a#\2, WI {iib2 x֦g<6p~ͱgYZ7zXZִF! M]ŗXi%6?:Y.trx`*wgEQeV54RجR@'W]c~}'_"-{ g*{UbUk#Se$)ow/yE<UuGGFŅ=\%> ˶r t(=/Z4݁ CP#-2ZQ5JKΣ&# H?=X)X..sބ&7UVu` S疡-03 #uLDɶɌO,Z3R51\~~,ءtefŊeUAjRfIۃqƪ4ь 7yWcWB R ,4Դo飑0yvw9*tKTՈF&jG [ŕԑXT.Gs0pQlSXM;*K $t6 *ijo4y : ?<ݾ}ޤN5Z2>!Kh NͥP xHخ QX7;Kbwt?F-ZPϩ~˭]\J#N#ht|>a F Nb8_?h {#.vĈT#xأMw굍VY] #Y1R^( J[9m[DTF\ 1lUCUp6k짓'^|lw(޶ldHj}=ԠkfO fgn:|ʠV~FߨTfhnHn ~7u@e;NB23i6f|-K-~ݳτԲЦ};R:^%Ta+围T>_Utja|W!)h5%=p2̍-)O sxoaSSYYm8|8$ ˁ,tΪu)WPRp,Nn:+;a X[ cPY1!8fFF>fzg6Ҥ=b-!L4Tc4 `HLJ~Fa%UOQhNmH 4&PkXr3{U'Ό싘I eӖ&_boMb_~'DU6̨`XQ[Os{@B?g4p)ř9H[UHyxNzXm˯M ^C&onE2iIpl]>ui{97c8WΊ0^^`pZc5@8 XyɈS | %RnTbn es&K_-s ;o$-oXsf݉ )X/“P~v} 4y+"ъdCscrqTWt*F,XӋ\jfsкl)ixuJ)BS0jdя\nòD)ո=CH %%p\^J15} V*r3J^qh3tV@/-lFf{:6L*ɥV8 oHnFpQe(^FO$\tFxzF6GρX(y].[/vEd^}ӅԤ|!1d" ("j t- BV~/ |0͌E%QnbQXáu=I_!&{ⶩ|3wPep}~Jm)ؓ1#Nag{T4Y6V`t֋i  gbq)MU *l7dJa?Ell\VӃȟrRk{x?]V˷}r6uK{e-#'Ұo=U]8V MAD "ŇcL*z=*$f/yaJ#0x'gom_Rdt5+_XtyKBS}$G(ƀ[m;kY>@;LgNuZdI^ 6$NcMFγq F}a&AjlXZ0FӶwGB Ȟ6%P CQ|{GddJTh",*2Mv9=dR.n=Gw|^ ڧw-[ |̝sQ8vrS3[ixQ 2fتCσ?/ؠf.2$SW"e>xI55\m:fyF _/<͠LS= Z/tfS5Ka:c f7uxVQŸIjzo+iWlsk  fcapMr"X-wIh3;xܴH<+ 4ҡ/Ak;65/1B*"IWLi@j3G佩CwsBJI+P.d6%MWw<.5ӗ{fdJ0W]Ճk`v&A+ xA!)Sm6 6瓶+tnrDk?O!P3Õ֑f\7旞 m8i+aopsZ;$wf/[ư(w@O}iqf3 D,CY`*='k[vq_C֬^xJmd+f~*Z:c?;!H{gN.-0\W@r|bmOI)9o,W gӯ` L:rX.}}~]ckwX4v$։$x'pLʼB襁],Zkַ.}G6Ni_ U-QPW y KR ~XE^K w߯MF`4 WOl"p`TK|:M<$&oϼdD |1oD^y:\Sp94z;3w5 ^Q wٔW\ `ʞ q-+jϻS}d'V 5IƜm,F֞<\יZ}=K9#کܓc;࠰C׆舽VS