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 & l|t ]]]ZF:threads=6elapsed=12.559cpu=37.736gc=1.968factor=3.007zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TvH@g<"{/uDP3-_)QJ=Ι B ̂S;pzt'^ +w8_*Ux0:˛#'0cWhC]9>ܢs|A!"]y$"9ekvAyt5<O4ZڦmB+c1MA!U!s*'Tf;r2G9@9f`2V7y'RC'oWnMee%K j{@rQgw nLGlv0SNTN)bqۇ{ ZǠV`G&X}d>=QV(ѬMp/oJ`La25\#9i|ɺ,Fx%(Yc[H7Q/ !ʫݪL7'yDDL"%]CYܸr. Saߘ? ؁4(` H >r:oU'P`3WJȇmk0qOuQ8Nm)ܳFV&*y"]t ++MtvEu`oߌUj[3j&O\ %ѸW8:'jآeM 3cJi J҈McĦ)$(I NjA&,pw#b1[h?919@a76ڸWPЅ`r‚zPeejaї:*~yi/0}k{ *JÃdpwCQḏܡo}WڮEN W$ Q#x)sEV[52բ'zW`}d97FVfp?߭wpłgYZ7zXZִF! =c]ŗXi%;73eu86awD-1!0cGh>֔s/U%V b T@ǂu&$[3Q%u\t^XX1їCV.UeÙ)nvRa5o|E7BlI̖*9O7,zU+Fk'q0 UgO`sd&T=.mɻq%t]TwA;E2%+h,F߁+.6vC+RhMpuA]V@ "2$NLZro3%[!b\TVQ0G\^ pacL>a‚H&֨ 6H>՘텾~G{z:8aкKEv7GTQQ9p$/#@-Mx{G>,GgA-qGYzOE:]Q7U% X.+ͷ6q4/o+ٽΘc'9B\lnҨje _xd ! 7@h.pNA=mD Z%V L ^ * P\Kacѣ!ĺX\Dhù ˡZ@45 AU'ZFŎn ߷Fb0΍]'mzдgG*bυG)֢4XsT]LTnU\9od-U[D_P.:Ał1ZWG#O8i4g,cB 3=96AxuN_K5 z$!.gYZdd4a76cbeaf59a9fa1e398059c1fcca96748151110764ddc346d5177be378b761316527db367ec3ef3dd770bac2323753f63631a31c86b8e7c755052  ZF