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  o o+ 4\ S/ Verified-Prover:threads=2elapsed=9.598cpu=12.584gc=0.352factor=1.317zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗy4MM;y 1`1>(q@D Ee?EKy 䎻Ã*y+"OO ]-6U~\!FB8fV=?}S5? XeXX$Y02ǖ0A%ΏV ^YЋ;KI?S; M}NfgYZ7zXZִF! 88]ŗXi%6xqpIAtBtʎx"aa0FW.:QPbb8&x`7{:y&TS+0fPg~ ,j(>NG.:E \ 6ori%szՠl$ٗZrSPj&uSi81@D:k5AJp7BlwUo};$TipӀM~-&'=(4V實V1{\'jt]LmA<鵁y QPF MGGmm8$u8nQ)Z,]3ߗfEeemwپV֥B iq/8Ap\SN= j05'yCI+$Aؤ 1q; vKɀFdTb| 3}lu}(¾ͨB*F%{ 4Iza@e| #yG/p,նchz}C>ȒwӾ Ba 'ȳ}P f 4ێD0f!eOc㬖!D~5sf2/CLɵGk=KН7dg o'}A~+l4 %.Mrx}֜pɪ-}ʊiuK8GGF궣 -pnD"燣uGS{%4c&& SHv7!ps<5ă>{I>djj'Sc.#Sݐ#jp2gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a0554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 + Verified-Prover