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 ::;#T, ]I]Sepref_IICF:threads=2elapsed=83.361cpu=142.368gc=5.036factor=1.717zXZִF! g{]ŗXf1-/6vR[O!vې&-wT]ïڀ8aĸ!BIu!ď4'p5>87cQd$D#mJk6Җ'\CbRﲂcf)Ei=J1VSma^taZga Ds\n}+nTUjD6ǛZ\Z'#8.Nخ? ]\uu8O-Dkh'ݽLzCy|r3J>K;>vq@],9秅 TZӴY->\eUx.A ˙|s HmOj.eG:xۻtHOh2CZˤ_چ.2] 1uDLvs^шuk`C<WH  FlIN{#־١]P CaOhĮ#|uNֿ4ne`u% ӵlNƏ& E@Ersۿ -`*1mn=^h:;Ō[M%r\Ysz1R"w@m>HJ-ne lMXyw_D-{ R6U4| 7< C0m۰rPb+*Iˈ'y AEEl:m~b۟~Lr`I 뒬+ ʅAIr>t[#0^湙-v I/8(5-)/.p b[j6RZ$| EA <H7}][sNN0[^ov3a8ͷWOp:w6 Bh`v4:GD@"Var&̹T{48iM]gJ5EoYDqӣ 5,= 8r".䯠d6:ơdD'gw .F΍I&mGTw0 z)3p+JRD1 sIq B.qҵIAZ]NIO9#]?cE. @%?FK5i4Ě]Xv)><$ 7tLոrlDI1A F8+a_f^ۡ+B . 4X Ǝ1y F5XݭOkoX{*(izFW\)Q:<5V+˅# U .yEi}9EOd&YNF$FO1r< 6x)&BC7 euxI6e8uf} v6qPOI, `|MM`?Q!spcqCK]덖Yº,O?$S䌽 Շ"wt& ׇH0  ?gpکzc#Un8d-\mN[9{Uwus:_ zazS[nmcoȤR_ڹdɿf>1#Ʌ%Jze\t/:c=v6q+gYZ7zXZִF! /]ŗXi%;~ zY Cq.8#Q }Aء;jq~6D4>l =u WkWp\cl1~܆IXekv^(xIʹ3aopo+nYo9ΈWmH2{Wr75/b)Nop ;IrUR稲%լT\~rɚX s^;ޥ -Їn?y.rO-3 CS:*.FPKkl+kO C,eۡ謼5DhfV77k+'-YV{{JPHgd5et, ): GW yY # Sepref_IICF?  +v9 7>(bD ʰz`ktM":GJE6#L^Av" $2йT&닏!^< GڵB 7khS;@9*b?=ӛ-%4 c~½V=H ~k2A m}f1_Kvr H̍3Ub0?C=0V_L3VR%I:$QzQbw+Wo0E6^}@Hs٦2VxQWw/{sb_ӴEhSF`m6 V{B_kxo1͖5⠢U 5:A0Uzl0T{ 1+ߞH2;9?'aeS'Sr*YX"G\"$cm sB_*^)ϡ\(Gb3@#q]2@\Ww aExx!s?KnJۨ/;o?k1tjBR9x9i&riN)^gt}$cF4;]'}*_2PU)x:G*A-o1%]wƾxOq E'0 O@1>$bCUckM| 'j Uh言8aU$^N<"u?m)HWk7OɩHrezf;gaMF]:QW!/V>1ҝٛHd;7Hw8՘~ ShSġ7 6M {Rlĺ+1um !6nK^\g1#F5 Ob\8aNW:Nw?!J7V&*νvHHԸѐc_#Qt0vb"TF*]9`4a3?O j _CX17|YKk`0>,BgYaxXx89XNAW{_xӐCĨ.151"*FwXQk f퓾gB?Dp^n5{V8']-jƈ%LY@0€d1oNh{I5hgxSSpW^s%5 vuZ W}+ǔmc&aᕅuAI/ܞLUR(ɛerÙG鐼VS6 :Epy*M{MoJIMR[=#ǂs!3P|2Hd/*9]nJڶS=+% խ~ى&c沱P Wrv5 B0ϋAU~ljg rGcFgV#K h뷡CEmSYd"Atu' ^>2u1R(V~3eZf+9 J'~⧞/Ua ,wiZJLnU.p$lX6xӻdaBf6((o?q!lE͸A̡!wLCcQvO$?PPO4R*d3)=3_&ó-S O~rhA{woI`½Mg0ՍJ!y WXLj s-9>=c6/hu+l ƉXE,Abr'D(Sױ?_~]?,@7AxrKw)Lwj7qC}iys ݮNu.8Ţ w:P/75V+8q#izˢ4,@ 4t8Kt^tdGQ&3ҡ;.l@dcV^Ѯ|HnIDj3 07:/:@OĊ=xCqC{v!Xį1⣑pϹ7u<$LF{—Pz w$OFPa'}t j. /CaehTXM`rq1+z=Ϭ(\dέh#79nڝ }- Y-CYw/fIؽ*3EVf7mnE;ܵ T-LegYZaec7c23146864693b8c888ef2ad8e6d526be4df279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 c47cf66a7dd25f85d9efc73896780d67c0a94ffb 18c6951685c7a2319ebcf51cec66c7575088c186 25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9e a6d1ec3f41006c58ea1e72b73df2ebd2d631803e d0316ca983703eedac2ab4017abc4f013daee315e4db3424578d73c244188b5235897800159e0e8d