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  ( (ULtL ]] CCL:threads=2elapsed=5.587cpu=7.964gc=0.516factor=1.437zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^23UqD5g;jZX&r'C8EMe&K9rtNGk #$ [ 3Ӓ1ر~Zt%xm n-?[e&1fIAio8y& Tct3e?{Q [3,P AwgYZ7zXZִF! ]ŗXiɟ 1FE`空5"ׂjC@oEXvh C:c;d<+5:5$m3vf14_6ăS-qJX`:TPv(C..vٴ,W1de]!.!?jzSQ!%bo`F0şn)#MB쾹ݿ VPY1{FqeA nI˥ٱgYZ7zXZִF! ]ŗXi%;a/@u\8ĨH2?=#%B+Won~NԨf=Ivap {p! 11x&C S!qE#<(,|]b)jWgf(QL.bkr䯝 2لZK'I"#Y2c*$zx-b+XIr81y+bd!YJZqPg(5RcA5߻QeuE)^}>oIOks%+H?G׉2#AC,Qٕتt:폓AB7tdELmx׊ox–}^A cDh+ nU}'6;h, C֎Rw zdA!N8+@q)|I%×7|A]kMaS5e"m 8wt[!9)k)d7Ǜ)gYZ1ca83b1b450e97acfc5e5f70b1203af7745831be634a34b0a78430c8365c904b4a02a2bae50a7baa  CCL