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 WW& $Ll ]]]ZF:threads=2elapsed=22.622cpu=38.444gc=2.224factor=1.707zXZִF!  ]ŗXf1-) enȈA"XxBT/'`a^23Uq\?NmŇuXLr=Cķc6P9 8s:ҳeftu ž+d@_dxWbaҶ@e*H8:cwKsLҳ|~Fzg3,YtSiElam@@Ͷ3ڏ!*/ڞ׮ 2mZkp[1P59[/:SgDvĎ0Ρ5΃;u'Qrp*>[2w%Ar . >N2ļ?AKY'akn 廀N ,>`!Vc -=Iv9]YxN[ sWCosPm-v6S,j[Y8X2< ry>m%b⨂}~Lj T OR߲jf3UՉ~Vx jZdWxgYZ7zXZִF! ]ŗXiɟ 1FE`穵5;QC*G4Ub϶5~qpfxdSVN+pCaj6k_෧dwX)%KG-PbȪ}FYTّNȜ>0cimLI O%ꒉ~NZEO]x,2gB24ۼul~@\D)-ʼ0=hoX7eM n0#YZuCXf%.FV&nJ!=61p,ɦLw@FnF:>e'C1m1½fo)0T9Hk%HdM* %7(R{8 ns39/ʊ蘮ʾ[gdb; (]M&F^.?h8hI(*!B6*="n"| ^PRNN.+gvy\'eSslSohgYZ7zXZִF! d]ŗXi%;iIc#S@ê&r[S2~*TS ܲ^w4ys Y"rsa 9J^ُ~J3D TwBtc<){:!+9c.['v#ScKIŽWc`wRJέ2 Qf˜v܏J|qVP8ZP'Wpm4a,ae#ϛʶu+- (z7Ӥ2JyxUWKH7>'Ҍ0> SgGKD zlpaihP]rKWj?~Գ<=  4>+xt? <͑Dx J`4jlRGr)$TЅ?=z1ZfvL͚Šϐcf ^MwC6+!ƑXxN>+Pw {R* ĺU?FHT6]K8¾3{ڭfeC'4yCqc*zlNB6JDvJ ܳ̕2Sv4L^{ҰG\5^.=/N|kPpPkp:Ém%Ү6,-P!Xל#{a [av=E;N*ȫ4AX6K=p kRQٟL y]c(y]$u-6z 6c?uw3Dz%a|>hpQxʴHbt=Wd}OeH2fa\һ҃6k濤dbCO=#r]B%5N?'~pvq4j3 gt^0Cң'-sPE ®Kv13OCo٫PRMh+`FO2yPP@*@{/L`rPa,\"vy";M~z0ԓ:Ћ96ï-g?ɪP:E6n`AJVkߝvbsZJy~&>QǍK'l3k0y:q>=^kz"R/+9zI5ڨPиladW1Dy l~H:wǼГ!2֔piVK9ъeM+#2wů.bAmM(C . xPaz&6 AB.. TnPE1=/[>{ϱi,=gt̾& Q,ߓ%> kW)T zS< w]zٍδ D[{tcjN)@@ EOb*&AgYZdd4a76cbeaf59a9fa1e398059c1fcca967481511b6a06941c7f4d32a9ff0b780ae34fa263f209f1f2df90704e8c82afb8dcd42a90638700d19612606  ZF