SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ii 744 ]/ BytecodeLogicJmlTypes:threads=2elapsed=85.719cpu=154.940gc=4.052factor=1.817zXZִF! ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!l{]'FYU;nuYqM~Rh(3@A4p`'֬ȵt`r 1'boSBGaU5;yQ'=C-^>#9ZnL_ʸ[$)heagJqt tO//m˪Ttq:*#p\K(b=:P`MM=MEpcՄFf_|ǝz^M 8Bq=DAz~Y8ת9qfY䰴x3ZDpfՍ; &|3NL,\ײp4 ]H~8P;^ӉɽKD(U\jhi3 2'fQ;4[y1XhIG1wg+ :9_wEU!3e`gWK.(\Nks!|uR5U;HZZJF$'T_|OrرRo?or[UOwgl\8tߛv^; auh5lEqKmk:]O@ D}q5?~}x٢!U>)Aޥ"~:G=`ɨWK#KЬ, jBrG*li*`h켒+7weI/c++`ڗ&N+'GIdAE 0l Cp7*A_x q+e ke\yxFMnG¥(to9 ;PQmXv$R88ul {nFz1ܙM[Y*hƚ>Ғ϶ @K+lEm<,SS Jd#E4ppjgLB G\Q+Κ,\XCJ]tD|]S-=d~/𢨝 ~xD3> %Qpf:lLfy>c;TZ+ֱgYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovO]5 Nd^yl)4 \a#ٹ9qa]sZdGN +#?zS%NvkrYjvdE NӲJD5/E߫Qo *.lrʔ3Z"9M5Yfh`C`*5R|gYZ7zXZִF! t]ŗXi%6Su~Km)>nH^M#ñc\c!Ik7̾y_AB-j4Rл2=14֤E_CX|DHW#+[3Qy@a^Kx|>7䘇5:z|eፕ%Su @Cq)qT'`fFVij <(bcyhIکb55@HoAGTEX/ߨbBṗ.%X#=tQ{;auh_xlj?v0E-WoJcWV:킺hV2?O(X0E4gxEGke0axr:'{$8=%­ $OehT|㶩q(XxOSsGB:qS6N>13,v^2V5@jL"cvh$iVbCA'.ZZ7bJc[ gm g+ *ʠ0{n>3gt}E_b&O{j:+9xvr~ï6Lu1 ɩ*l`!)Obe)]DYmHԡFGX+XHʨyNnph dCXUSx"~"C'YwQY"Ι4!|_g!tdZtH^EzDTBKmCBx+{Ը#D+sD7QZ-%4o+'2"FsĂ$vˆ[}JP,ިHZw9%VwY9l8>ɿLY aOh-n!jpЅgvZa?c%xEӒ^j0Cy:4)KlΨ;kН#aЁ'6F-ħ ,\ bc^Fwkf|&ڥ嚫H$bu7XP/BjmwbXKi j 0ܴr+_\{ҁ߮O|JP<^u10^: }2+L]qk[9&U[zsd&GQw)0hZδdkR0]4h3`\ 2BNPrcnC%u;BgX,if@M33" dݲ^mVVAi^$=_@{k2>Aw\Aƞ-zЀ[$kv4)l[fbZ_X٠\p^R=r{N0l3gp +ˁL_=wCVrwIL(9S uɁ4vC×i@޽Qt _!L=DJ]-3<*m{cg(xk((Z3qq4EZ6': V_{.=BbqH+ 0:z#̃wky}:Q,_{nU0g:ðnoK2ۖX(7۱c7Y)Y]["P3E_m3ZG( ̧.!/n^f\ýov)@vP_)LiEe }{iݤx Txܫ w#5 ۝LUV3Y qx&%>GO0Q(xz!lsEO\(5>Y|z pf- ;AҊ10ff_3Ʒm4dڐX3_v1_xpOBaE>Ny^ %\ihJ/KDFv =-UJ.І>T*Uz;C W 29򐮼J4r Mx;55%TsW9[oT†;&2xl2C(eNDVNYq$6M.az}Ю%F(P<˜ٍbH9op䠓}׻"Wfb3}\c?I`Z`k(V%LiV{ߩ"PLwYdSrkrocLss ̟r0ϊ˂F߀JJgbgӴAl0N>T)#񅲏t5^وC>':I[ۭmc~l(i=ٟۖ~u:+lS]>;Tp] 􍒏;.5G#-̲r(kUsh L5!2EsX`JFG d{]B-766BOVP表ě$$[&(pA $J#'l_'dkF)d0ՁW"*h9Fr j! MA,&%Oho*w-3kJDcH{ݷ66#危MUd29 9{9dߥn䝂z7J[ Mo=jhY|_J?Mz7*p"ͩ/YĔ_pVNPa`%}4r. ]g46e#\Fn:(@KA#@$ 9y."Hs8)&Eb4UH$׌ y~.oTE } )DHrd_i8-04޸Jaq7)]Yڑ@RnQGe ^^pv_:"1퉞g43bg5ذr$ ĽG W6duƴM2cl4†&:M [Ls@Vlk=b7hО= Ca/HV1,­tJ7 o9f ,3IN_>\frD2qyO`9x Pf:M()3=(Ў(ƕ$RPJCs0&{*&5Ƌ5m,0|ur"\5r&)D8~P|.p