SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  k/ dt ww Monomorphic_Monad:threads=2elapsed=21.553cpu=31.916gc=1.972factor=1.487zXZִF! w ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wd6Jg`2PYIthB;.gO kpqi#&TFUtC5S5%?ct)~&sϯGWu iHnF5;_Jed=BHVրqLW7p=5g#f!%b!1i3itaKz!b;2w5old_4;śq(=HSR(v۠ۤZ=KPE⧉^}LI>L[ / Monomorphic_MonadiPl ~=ٮ%^*F9$3#?̀;%ii/) ! \1稆̏௤lun$94x_.) \`@a\Y\ޔ#PNB#%R[iM gCǦġ^nl}(Y[7욹ba6BYGHC \F HB0߈yMA{ץفyq9=WzITQ_h ;ɽ>QsRhԢO"3-;XˎxEoD jyϋZboWvE:aVN@RygpNV\#b=RC`Eh[^oI+ .uavЙuI7 iUFXA;ѢD9h`oozk3gÔ 4n- Wv\fZa϶_ OPշXgw9Ip}f#7s l(Χ3 ́əMr/4*H5OAһF0qcdC[Lr.ߤ;ifd.Q'x?Z%AD} ,%d m[iP 5]\s/o[!h1Q\খʸGB0Njԧ샆uoZ)5kbʣ@s̎~)ݭ^gFENYWaG/,*VcW-8u9vQ.HΌzbeYkFߏip;kj4U VkaV܅c],ciy,?my bLǥٲPe%xVs]?U)hSqNg"-Onw4g5(/`I-{>iJhvnV}S`{Aя(I-{4ke |~nu6f;c,5tYFN'rjq'b:u4d ~XQZfDŽ`5:$<3 ZY[GˍR'7lFq~ҀgkȞ0VC >(uui <"aC9\W^Zvu"IB h^^ K}M]k˳[Sךּj:CJbEhV sb7 ϒ%4} 5sE5-Q쯄A&FP!5l{$oG:+KA/m Rh1e[@8nh4mh9.|TQǵ݆ږNCW^p|u:BKO8sr ?:b_N& )xxtvn't>:'~9K,TLf.eXV{gYZ7zXZִF! pe]ŗXi% Հ;nM'h $~QF;"Q;HŴݧY] ]oDm;$QZVȐ#^Wch&%h w$SO"^Ӹ:|yG+:ɟO*FXwGIrBW( S[2ބ/?S ^ R"cԺRv(ɖza־-3b$Cyd93_%@.'a~-bCf;]2oη-1gYG5y6 SvۋD 7uNGh _\wFK?\ 3#Hck\!|:Ѽph/ N.eX/"`:^#q<9ju/(kͧX^?%@B`v X׶vPrY#Հ."k;0 ;a1YhܚSx5EdV £l5)zQ 韵![[ g$ k(s7B"ު"6rZ/U{~hfS.A_ =Ѹwh)>ht[fOGKA+kszt4"-^&\z|lc &d6"ijxjShB]urǺp \|ׯfE,\FBG &9w!~gM0]O(g)^ ̄lX;YM4hr o5 V vꌽUc-qT>T6o3I;W;.9`^3 QD89¥!:1