SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $ 4 c/ ZF-ex:threads=2elapsed=11.612cpu=16.632gc=0.852factor=1.437zXZִF! )"?]ŗXf1-W(T02FkPX9݇ kS>\•"ѐ=9 1vhw,$ð]O*62o;҅ȕ1bǏUῆqMv{E dT0_~גi@dS+˖=rC=uN#nPmu,JV!5_,|0&UQՂ1|*:⮽iPT{'\|j/1DmX ^U/"Ttf?8lzOГ-}d%k*:lܶ !HQ`6N=E*""vBHN΃F3ɡ<4E'GqЛ„I%>",Ȃx$=iĐr(,:O1zBC5tv">xƵ9m ڒ%roǾ| OKntq5l$@`12N$L@6e ;Z*ɲdllz64l*vdſ MAʔ(  ZF-ex{>6$ &s]XfC5j*3Wж T0PiP14N[9$cƲC=~ډ%o{ZX;<%_COI~@4P砍 HWgц;OV 9jVEm5d%Ɣo+"FA9 ] )Y&CSf 9ܜqD}Nd<\R_%'p8Ỹ"4DFc%FGbF(|8`T.jUVUR?:gYZ7zXZִF! 8^]ŗXi%Blk+p2yq]Z$-2*aicJ4Sl T{IXR?so#хlh4R/rGv\AmqSmA%#MMIJ}Q_@utDRE$1DD$HYA*G!7x>ӔfJP"1pN ?̠lTXF4;gؠm6,ӊL5JZQuo7Uh u4Q-e簾Y$q_д:&P(uS(cHmʆ9˓qw FqT'*0/% pϞ9],MԶhO|2b^&r5@G$_K nM\sSa >mF:Nv dpN鯟*0|ڸT5QN>We꣣a dQ3BpH0LQs 5 ;-f~f$8# 8 {8Uy)L3:S;tp_ t'͵t\zf7ȦGudXv[S^x uOx_!rDt@2[-TX"ŭtʑ;0̜Ih`$ۢ\w_Znw^w(M\NZoj-EeYO~}޺_B^ \`=69j}@8G"3ZN0^D%HzEtz+4:,p`gYZ0307714c71d1e67947e08db99e14ea4ce7871f38 0afcc310f3b6bff847e20dfca92a3354324b18f2 1f010a52bad4ce1bccd907b7401f81460c4e57fb 4a40c72e869539e7ec667d1e2f20d054db906fa8 4b143222ba5aa287a0473e9606458ffab5df0235 6a646f07aada05aa2bd540f1de12f066e8229a16 8acb162898354bff7a1dd3842730402d4337bcd6 ae787878f7be034cd5ca6a3f3af452c13a0f8fd6 ba2e58987ae62cea51397341335e9f187056db5a e977d405a83cb375c6c21cf122a05f774ffac6f5 eed98e54186b8e0e5aaf7eaa58bf9555d4799bed f11fb9e15de39d3e8d71dc7a3174672b0e23d5600dae525efa6f84ecf34af93ff7cba31c2592ec0d f6a47b4f22906172279ea9ff188e015f49635c58