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 <<A' ,, ! WorkerWrapper:threads=2elapsed=13.099cpu=24.108gc=0.896factor=1.847zXZִF! ]ŗXf1-/6vR[X"9߫@]-GQC4"C62 K8mt+J@"a`Z 륬&s}$'f5~V iRj$m~|ïX"ܼ ;դ]<&PZ*-2X\9مՑu~pgF]h G2"h@` /_PkVIn QTJaK틀](pv{ w$$r?44 Cp1|%ŧ ^l=A77*mZd{̻EQF$Y0ׇzmU2ڲ3SH|vPX 2.1 y"d*!NfkF/\;Nz**Js[mP?{u4q8>T<%ǢǢ2WPv ̲޴yȱgYZ7zXZִF! HN]ŗXi%6p&۬JF2:)^E.=PREnGnf?IІmL ܰ%.|@>E#bc3?]j~(5ʄ %pqlaҁt 4ԍo@C* *(>U,4 ( F燕@pz{ApH+L O䶻(p vyVq"'+ &f.#.)ɽ(Yd(EesHPz@鸩iV}vw5-ޱ%?uBk6Q*fD"UFNFKv]ņhց$iژCk΋yJ.f>(2ʮQaU̚so}] Y]ǣY6Ր:2eVZܴط͌=$(0t$F nBn4G'SZA{ӥȞWMaq?qHh# KfilE Z]7 Ղ&'gw=zUkcfkYL j jBF'YF`Nq=9}F}WΨчn]iGn)<03 kX xHmyvï.e8p/bhJx7UǶNUn~f# d&F gP<X&rAC޴jS 2uXl{*GFFwA^Ʊ]B ?VyuڀvOYvۤ MjFB,sYfu$ZjPY㖐,7xpxww߃8UD u Zfʓ4E*+LVms;)+[߃]3K8iI):KeqgYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 38349052e83ff33385194117f1d07efbf777c0ce ' WorkerWrapper