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  V V 4D$ ]]Deriving:threads=2elapsed=51.522cpu=87.708gc=5.380factor=1.707zXZִF! 8^S]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=>Ʉ?HAyZ{Z>dgl8YX^)|n*-y5ՓJؙB^g٭".auI !^El)7^p/i\y~Nj#A>HFca vIJɸ aT) $v3/t9^a~TNHNC">8(=>|es!Y];@pXJ+5Ml5cӸtJ*zqn$4ˈ-j 4fq~m+0}m2x3v顪^ mJQY8^Q=<^"U!B\(/|2aLZ5?S"}S.9sn.!>$5֗J5&,O71DpB[mҦș0 E_h 7T]jԞDsg]Wg{liK|{ <$L)<{9Y7I*];@+G2(k%B2}3]K1vҹQT=`ZfzGfdb+<{ # qpG*;ڤ; wRln͈S@Fl-!eTr`ǿ6t7- SYJ|@d|!.mV0n_{%}9dŋ6ҷCN g%R>=uibR(0R9R0:y @S1ꎏYX"lR BGɇRe'z('{l|:5Օ֋"GDCy]Ҿs9yWU60zj\2>ͻA`)F:@Q"+?ѱS&I_6_c,FE0d#(/ 7SY2mo#h~NyOT6cW5no"Jˍhzܟ a32a "$.`tAܷOT b8Vɟn8e++1v} ?+I`y"h$܆Ղ_\ js(g#Cf'#r O= bl%10$xGD1o0Q{1є/K:C_Ϋ1X&`kPűgYZ7zXZִF! ^ ]ŗXi%92N>݄&"a&6. !x<(vSy#9}|pׅd~heu:2k-tjί*)Պ^ד?n6[l^JQlmR'#Uhq & ]O)DB )}Q$#jYef*ȍ? V6a_ݪA@wUDrw.I'dqƘAϜ:KrEXSe;ɗYJإZdvj]U5 P_O?cZůb!%нin:dTw/Q~1ݫ0WP!k$KѰ=q^Q@yIÉ>wibNNpei : J 113`C@OU4.y̿@ ˸fʭ•aJ elװ&cA%߃(N$ { @) ;`^NdႸc"#Bɘz=I9>0ݢ?wt* T@}V 2ҝh(ΪyƳwҹTzw5KtBju/k% Wޖ)xD?0ߗk̩AWM"6eN?#mX]gpW*д(瀞 Ek93)-= ~q&2eX(ݓƐ\G&Rw&Sh j4&[rV}M_w-|_28A [/͛,v'\lIݷT*-@yzS5n&<۔23NDMGL r3:H. sI@ JJx䇦@xYtMJ iyl߹&ң莯A:2`\W&;=$YW|L,Phw]Դ.ɂb~8^ 7eb$FgIoaL޸7J[Q *R@m*P1'PհTmUⒶ!i_bT[\T/6rgYxxp[]=*. v5Hz)z)de μJ }S6Y^P}Üִ'a'aL|y{H.hK >lhOZ;?y&IHl4FBxc.S f,Հ19b#[:ÄۍK c' z%U%z$\ aѨu(:;Ę+].pԬ Cҷoj}<0íMb6Kp#qVD2!wUO-E[: gJ .mO$AAL̦B) '` aV5ԕ9|Xu)3k0v97sU̩ KGM D:FgZ,V`f^z炳XQ w03ϵmsyszB鄐(zPόV?F&(( 9%__YlOϡ𩸌X_kPRP}'f/n´qZ# 7iJbp>56 P-v;Pe *Xoߖb ۘᮡ_ziy Oqgl,7c ]s6-x_#Ffq)]>c1_Ff:1Ζԏ/>l":ESObݙYA^ %Ҝ~e],&c',59L 2#vohpgqq.hQ>ѣXVA8F\.sʍI9OT`}~ N4QG̤MOfrȱ0̉BG\c ,7WՌ=8h_Հ{kIZ,$ѤO7я|B+f9xVCh} NL=r^Η&:&U}$(o]Q !cƪo[\C=yqhʻMNFJfO&@)KtΤ9qD,0Wܟ8uxa` 퐇`xye!5 6e%sH-;6N)T~0SaEį '$3Wk=z@LvN߉'7/L*y\3lo ;Kdu\AGցCa"s ᓷD˜t,Z@RT3Q_1Y4ƃI!,1O9{dgu(etRe=A_lՀu|k=y$ \ŵoo1{ЩakwøSۗA˅&z1LSܙ~ WUpi߸ 춿z"zKaTm~4 Ś𔰘2ɐN0|Rn_pX3O]ȋ7xi! U&2uCל7XQaQ99o?QYL=awgYZ445a7b84154654ea71ad82ed8d297dcd5c6fb8f602339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975bbcc6389f4c86d8f08beb2c7e6327c36757e2f061