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 S1 $ ?/ HereditarilyFinite:threads=2elapsed=19.213cpu=30.164gc=0.836factor=1.577zXZִF! ~]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kw^B#glvsAlE]x` h:I4g^ҋ4nbHzD]7,#mc!wXɦa.Kv\ ԍ^җ@Vx_D\8 1 HereditarilyFinite)9U.&ZSi->ADfӲ(De2DX.xb13hVWɱ0 IuH2(b40ˬll0?+a"A[`VSnt*8LѽV'xaG}kNk}܌ce*0Vy|3Ja$5F}iǥ:)#H}Sͯ[` T)O}AXuw;N6Ԑlor6<t悂8vGW %#dqXʘzt!٣$y6͐ ;yj)1>zdI (ҧ_`]oL"A͎ %-8Z{m._)|O|{RLˋ}LR!Kw,od$߷[[6V_<$j '+"yBQ^'|rJZ\A/Q${D`kWzwB|lG4e٢ȡ-]'+!Y>pՋQY$p6̼ d)V[;yzث+ r ioB5nx>I)> f/~O.1 4I7NǔXPF'!Gt<'_\kg74Qo!Pש~#kEY{\U3PngJDmF KuOŌt$":f )͘kU5h\%)<#; \ :-)6CioZC6 < =U^d {D<7:bAm3CA0pe?isd/}⛩U`CgMuI=zW#=uԁLQwd;NUm^ߦSSWAI:И ѓ&ELNEfyiB +FY@$z*ho/^ m M)T |2)P_񽹣!g' F2GD 8P[6S+'SP` &3E%QԹ\VSX^_1<"V*zғ"BrY ަ hNa~;P:j糴2ex+Z2P?7kCdy;rL֬0݇cGa6 L:q? yLmT֖hz Mc[?`6eLH)M$Nh!Vגkz@ sCBɐK6}qS=bAS~XF,Ma^|ΨesxjWZ )\kDlGv\pH֗mӷhxRePM]Hw$2n{&Aµ\Kdn)}w>n:\u-% :6B0DCv+I}d_[t M I*e~zUޛ3zia[P\k'w8}L*lVd^Iȟ:q!r{y%^ l}Zl.[UbDjDSX8ÏHqP'Tit*_y0y,񎠙[k}JW3eF7ԹSTjg=k( y`U2/zojJvȄ+5P3IeϏ|eJnYְk?Dt@'@x xLvO)@gYZ7zXZִF! gm]ŗXi%Hï%߮,tXgh^QgaZMBKͳ͎Uj 6k!!k$M.o=@?Ԕl^ЩfT._(To)A0BI*HXO*g7M*Ί6 W{Ui~+_6s 2ezKxQ utgG5u?~w+ѵUi2!͒t[ | TUYa]dD`MmvKUĴ ~X؆Og]CBK-չ:#iK_XR`V V~dR$6g5πBk KOB nDAqVq[#W!Bm[fxBl33A :^ %V2:SP]IlTkeXU(N-Cii9б{I9s([@vIC,lo'I $[ǍzmN0w5qВ y8k%Tz}沦)ifxrӠ7%i&&u|i8@Mb|[\J" }?EAnoPzůQ[Y-RWx7 3*>@ӣK 4 pm9xTq<{mÃBiІd$9%E{>xeE+R.v}Ur4]c DYҶ •0VjqP{HC4C6aYJ%C͗~|pVBKʓ)+-QL8ͶIq^8%!OlJaĽ»vhc~j4wW>=K'۸$č\#1(^CGX:Jik@Z3\L ͬ1CJ4Tx,DŽľ7(ڰ}_K%Eg-'Sf| zF Coʈ ʓ1ԟCO sn1_/Pj|zOSV4,lP6&DBfC']PV!fG?V#eհ.;FbQ`pT ]rP:n1T ̰6RrJe<*Y V4%=~ڂ FD_%PRU=K YD P}֞CbŹ,8fYj7t,%<;R;4I ! )ˆIοsä)>:~ze@.Qr#'Tp7urHEY[x_\]PN닽yUt=۠x2 a