SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #,d %S IOA-Storage:threads=2elapsed=1.625cpu=2.432gc=0.000factor=1.507zXZִF!  ]ŗXf1-qN50^\z(Q^ bA]0|["> Cz-ԗ ێ7Xew&]3CP:ZZcCU/ ;):҃SB # IOA-StorageQ': 56G I,.`< (Gp(.,NhЋ=TpXQѶ9=Arkuo_@B mjiIO3M b& izObCTF)7y.g2P 6gYZ7zXZִF! l]ŗXi%JuK ,UǭH> Uq o֦!v+Bn,^嘏GBnfpE\ -԰4o]koY"vAٯ$d )|@L99#vnhi[s-xGwڒ~\Pp*჊;FΥfHI!]uh/\|MpuyPx\ڟHbuO/GTw22.Ǟ8E$bѥQY@{ |4:{V0AщvP>뱫$,O wB6"偀W`bţvYfZ&$!Zg" %߀Uz-gngYZ1c621daf073290d4954797d14376b4be87fe39a0 40a9ccea56ff4483ed7f63b7ea1e940df2867481 54cf1d1347f9fef8508c44b2aa52c813c5522952 6f17ded453781d2611a72787be114dc781f8540e 79c35c2aabb290308d162d834860f07aad43015430107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09 c94c32bde14dfddbb79f8c59e6e70930590c2922