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 il U Circus:threads=2elapsed=55.894cpu=105.888gc=4.012factor=1.897zXZִF! K ]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?fQC4kPg_L+JͰ'gG4I̜e^g-N2ӂ-i;w7ˏ#t ZLg 5`~t̅.r2mU3#(d='+]0`nti d yɮ !8=qdc$H~c#ho!| [,3CqYe9BEBhH%Xp*`ѩ8{/s[/{-A 6=(^uax"iwuGJv,bfPܣ&%^dʳTELPqj5kP>aJ~}A=4@?˒X!e%8Τ48E ^E.u2&:t<QUe}4ኾ1-3>=.]YRc͡6T.Ӱ|ĄJ#z5zޥ'q&/̗+*s &4~B;RG 7DO-iqx~ߊǀxg۹Cm~g}AaI@GKq?ثcȖidw{uh4%B[~aice+h'L !e6*{nSJ-Y%./ވFU=aw6M<BJ1 lɈLzqT澦&^56v؎ 1e} VJVQwl R60y=ӞF{F*b/@~>ṱrjH8f;EY04T=x t$l"^?5/OtiD[-]Abz~R-rZZ8ƽH+2MA#zJŔn$4nʨt"M\PMf)!h{[,xErhj g֝-9D| `^ H9@SjPU@(ueHdާ{߷sLH/4f+W5:Ml3>} #UPix3"Kh: nLyiݜ`ҪXvaGoe zHgYZ7zXZִF! Z ]ŗXi%6xg2QIQEWya_Xj $?CT naAoɶ8cxGI ! u tQ G V=}.&M 5*C`eP%Џ=v0ύ] `$wy>mA5wLt̃B;GCFaO b1WIk߄uk0?253S=A|<<wn]Ky!,[ʁEHi%XQ遇X{" ^zۮWr ,ASqCezUR΢v IoT}-t cma$5" մ5FG45Jml= l};UMLp-sdo.n{   Circusf ]bCK.SȃlkVHB2”v`̸K=B/B-xoyXu >fT0>a Z IEpئy칆*-/i0twS+>:7AR>qs ; oq@i:à^^@PhYn euʚk+Gc>4w 2 q>>n`,*U7HNUhVI$Tm%$};,01~Pk&d Ud]ݲEVrZK9%#O[Mc92$x}h# nDD_PId" @Ŀn[\oEב7u0ĒI=m;߁0 Q"Bw b)EwO eQ5ifuЊ!1I8F󙳸I!S.[86B_i#n]%,aȔ)`S:pC X] h*0S'%kۻdSg!tbew!k 'RN`j)0q }:7HG mRZcihGhKkubi|fd? vL=7&{Pҥ5IJR@(1|ǖP7zPV{4ÔBM!;R JZ4y C>[~e1IY[k0ӿ7?0S' @85-g|TT#+򣹎jX9hA=EL\ M' ߍhUU2YEEٶ Ť Wu&55;u8 ̻u$X9:17kɵzűFf Jӥ)gol35yDZ\xzYM{rK0?؉j 926ԱVLe`lIaJuah"Q5at&Xj rȳ6~T(p;^9]=ўǝ3*}qU-? -ɆFUR $޻HY5>?JrP%Ϭ%> |!ˊ/m5ltsWuQx k'uw%+-~yb:(xuc+,KF;B}5Fi=*2B z61棚DǓHI/dBy;$Ou $X(TO Vl xLQNv/K !pQ@?5l`L`%i l$=VU7ә@7x`~r~nY[·?"s:柕] ,I[G:G7,p \߾Z(ZfCZ{M ʸX!Ua^E+V|mPQEEP[-( nbÞ8+gp!&oOgߥ֦'R`'WMU@CfaKw8EsJ_dqKxp Ou{//Ґ3fEQb 쫵& Q.=Tf9yQSAjѡKm /5OW9?>@[,;,iss>ږRFϑ''(ǽe^Ȼ9-l[ҥ<X I`.}.zl1_eCJ *{ڶ\߫|$5OO 6շ]cO;Rܧ!Qsvz9dfc)ݼc&#a(?aJaưsWͷe1-zmᶉ!87h J 5:JB y+a)u"siiI "Do![