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 b $,T ]S Codegen:threads=2elapsed=8.080cpu=15.820gc=0.792factor=1.967zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4̯ 0q I+;TƐPe[!( 2fu(R(uLD!wwMkw;H*%rPP3ӌ\[c:wH14ƠWC$A ܱgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`IydD.fOz_vH/pޮqNT!z2T'btUy]aD&n>n[k&wWFsaEKsagYZ7zXZִF! '#]ŗXi%9(PKYN7&O=7|:j֊2q`Ծ|`^Ke_R':_c I ,ۣ8NJW~I*;5QN\ P9Ae$ _c0/oh*dx)n$IfsHfnZ۲6Ngft%_ v"O3 +@LfNw\Ysh&Ǽ G+끽 ;9v$M2 Lؼ;- }Md txX7[_qX~hLd*xL$-@WB}tRsJ)F}=xyYCdƨmfA/]EX"}/Z >T=53HFQ@韋OGS4jd Z'Sa8R? BWAmcݒ4Jt݆3~&W9~#dB_qнO2;PgYZ00923ff0aa427213a6009adf7172a9f0d88a8109f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd ec8136cf9c050fcaf3e1fe3976e68e02594f20be   Codegen