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 /3 $)g]5u%lVn@F\w/+IV"gUXWȇ4`j$^*F*~уЛ%+ #S JZ)C2a9g(y'[s]x dE`Q?ޏmlET2"|ev-[dՄ. [!8Bhx]h03qͶY قi0)aփk.;vS<;$'(ӧni @)#J0܂.QY'LaU37t*~{+l2rgYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn^+ެ+Lh n> n" -:bǫR|܄coȉ$vDWڎo*iO,-DڝIZ,<.;b2WW]w 50EV[q8U' L>G brOR6m7jTVUlN1(o*}Lqߗ DanP`verj͐rF^?Pz3mxA͈CB**K[y G !'LܥCE$˷8EJy6vkawRM,ّK9nZaɽ:]VcY _Ԕp=~viq`DM~oV$ 'ND"*'d>2=! [ЩB)E1;dk.)Vb_.2%Ρe#T+ͅ Yx &FosMn&]v3VՒ+f/Q8+;>A2Uj8揤)l)Z3f{@"RQbשqgYZ7zXZִF! q]ŗXi%9(OaJWj>J{"29mhJJ*,&{҉DV6iyku5Y-AAT[oBB C'ͻo7f64j+7B"^΍ а(Zv?$*z"R( [߂S9D[j]Ǔ-ٚ "ACcDB bY^h\? X籷R; ƃ肹;#v~ff_3 /M?>\j$kgd0)*PҌD*:g !:A9+9d3S hZP~yșpαTFUΟpwQ!+KshRw0xG_c]L71 tzYFͤ'~8f{ݴHڄS\,+"An.9(tq@ AP깼ۭ_#$ :x_S8k |k~)Gyytm8<_ Qkm* .؉W9K v~f{%novൠVD$l( _H w6E}˪7ef7IEn$퇋M|])Humnl PAzl~]2e#uYdz}Ю $۸(@ ~USҭe]c:g6T3ǣ ۹[>vڜ?J 1^.qk*+?POM8 J;d;5XBUĦᫀ>jSȅSr^$с[X V 9/|]U-IȎZє@;[Ȟ?{(q qJM+BɾyRgH%#AM%En1` FH#OWȩǪॣ@Pкj&#`j<@&5j|6#pĭG;v v_j?"FSK1h%`Tqϕ<'}rvG)z|%vZH;Ҳ\4ܧDUb6|&n7ʘyjTM)Aҋ}J xBjdB Y;c{1Nͼu8c@op$il|2mk(Wr^Qy VX?bw`츪{lֶ{N蔜\!5&W R!PKJs,M}ڀ8Y&r%#ϵ2*4AU׌]hZ/ht~6E!tX&ѩ$,KX߸-f5Ss*ĎCӓk,kԂw.4 J {Ҋ{K@{Ǝc¤[{k>Y-ʢt4gq$*MIQa0g4ո$w?B\و YJ^BeG--NByl]VŘQo/MjͿ#V` {LK9 L'DԋE z"#|vCK6juzFWCm[ =˲ eH3 mKJIM&i=ĦSKˌr#!BL\O׾A(8&;yV:}> 3-*֩ yDjѦCh%K[c=1EfeO:xST[P;㺬kP5Qң[ HR7߲r򍠹 N?NEFvmgErYhJXPQ='hi0҂,o:#3g B |yh\džШDSHG'Caq{C$t@Yx|a VD2w<Ϗj{m?#8sRZAN77 Z;AmKƁZaoi&G78xv'3/ >yv _Hn=H cHpϝ-#&{}L`H>1Vcy? e~VmJ!OPvچѮ )F,fSdWc&8[@gYZ0bf0a488f4c5a7c558a8c9f079d315c7f704cc323bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 7e2e0eff77da80b156d0c2ba00ff916952c078ca13dad160f2b7f872cab4ca0af2d276ab730ee3fe