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 3 D| S Efficient-Mergesort:threads=2elapsed=11.892cpu=16.900gc=0.576factor=1.427zXZִF! a]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9j};\+NY.ˁ5>KS+,x l`o<5~Tх( _o\KPDmx2;i 5: i?xDFseث?7T?eלt9EeW3ZnzAk>1v :zOVwcYĈ%IGv> "+zJ4։N'rKX̝TzJz9_|]) 2<+J+9[Z{ןw0poP(Q87:tA3]u=oaD 3v7MεF-mFKu6[vZedN)GwlsQxY5w(:v#UUCqِ[*Ș5Gv4~]gnIh2" **0=igYZ7zXZִF! A]ŗXi%s lpUt`jNW~1 tdN)/@CB[44 ;KʎR|WJ?Ӏ >=@/[h)ّoE67fZ,Z"ZгN|]lg#J%[KuJҬsS>\#c!1ex3C֢8Xrd #'͵"osjs"nBdƶx}ÀC'?RΥ;r˭#;~N#Nx;{[jh2\s2?eVP$ln3]eY䂗 V8`4/w=|/.ztLB[JFwinHmn{(m*F &':[> T3[Sio}4]!e$}M-$16"oT֐f+;c-%kO'8?Fp$EU DF*$DԫlS бi|L%ho&߃:𴻋8"ȝJruJU#F J Տ+l^+&PCMOk 9ъHذEBmTLd{A=SY$`] f&7!Q}PBr{R;о?O#RL6k]JJƵdz"IG$j jbIurRJ\SR_)9bȊR,|SqGN$gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 3 Efficient-Mergesort