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 T\ ]]]ZF:threads=2elapsed=27.287cpu=45.180gc=2.916factor=1.667zXZִF! =d]ŗXf1-) enȈA XR„y`]rNqGK"oeU;) 4򇡪/X^P?X##Sg ~w"Ctj`KQakWȊ'$a%~j뙑%,l^SV'>|ӪMvn8NwF+^2Z@7Ó[?P7*CTA7/GW BM=?Bz̡FZ@$ad<.YU r1hNݯoG=ΐ v"?{ !r[7(he/MX Y$|_ҕGh<8 .+o)c_̱gYZ7zXZִF! ]ŗXi%96BR%%M`RWD,$T3rcw嚼kG'% р)M#ڎ9ɸvMR7Y Œ.ߏge63 'J5;(&NYu|"NSe\hj\S^}.刬pl*B ~m^)kV8aتK@4ƪ_5.gz߇Fjtv]Ko{ta&b.v^RR.󠗳D8gBE>+\vxF=( !6WxmW]C{u8$MJܞhݎ RNǫFyyG'{:h)3\\Z2^*-6[=v+B7 U. иp܀:c?";2ou袤K(~ık٠Hߙ =u+xT7&oMN%Pp\Jnx ne,XPgl`|FYL3 1NG~U%0-ZR7C%(X$z9SO,G6/}E"lo/ϣh?>e wjgKrQ0#3qT")\z1=|~4K%;ٕbP-=G¼wRd3NDDkP8Ւv%MSs2<5 !~D1DcU$vQ:R8dAC^:`Noھ4=e6m,>vqA^_Q' 52VYUdTwcj GhѥѰckI8l]@{#K@i!-d'*fӳ}|<=Ig7Q-\A(j<<s9fTY62S:taTJGql3 BJP(5d"/+*-]uMUVD?г/ѾvL̵)bzxF}Ee\;.gqm3i@'_D[E9g%fm*9ԯ7괷@1SBnx;Rg{4R28%5uʺg]~bw9 k :FGBPSbė)Lj:RƮ# u<$:MkU.>D }Rn tD&Ä́t4%^,;]SRJq܉B5?W?wGSo_s<3+a~q),!q@C}e=wq?+j1?Y[ˋ^q{0s'Xw{92$Q-G$ ǵ 8qܿ&zb}Y{ >eŌ4 4hh5ZJ c itF[ͱOT^ol׬J.S MdmKe)QJ>fc"H/U[En!xJSyՓL@F@m̊i;>E2n9 ݁tiS~y@`sri,̴iڡ=i%{-g]pƈ֮z-C,PT{q"d5"l "FC.3')7L|݆_F{|аd+;No"TB/ޕV/ 0 U\4X BK GN*EE3.5k$ᮔdh87O4^dRo_{/