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 y5d|  Free-Boolean-Algebra:threads=2elapsed=1.085cpu=1.800gc=0.000factor=1.667zXZִF! k]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!ö|^Ti*6FO6*uJN h( 5 Free-Boolean-AlgebraI*:n6 Α+Ag/Qq?,vpmI_z,гpI`{/~(O362lAdTEͦ9|R>qZŸ =[{aܽ}4زJ!شSY k~ /Г 1 5z,;DaMSf ~tuq[kO!u>k)O.f|F45]X eMt\gI-  6IgYZ7zXZִF! ]ŗXi%DQ'!ʎxhr\?Myd5\cA뱺3p^|f6+~O? _spIp3rMGu'*]0F.ؓ/Y{&3~Bg}5$D/G-poE5PuՖ KZ#%ൖ)$2)EM{FA[hzr-fwn %AE4};, o5ђ%".FJ8mu2Ԗ$pF'kBy5ƕRnf4R0Y/έoxYM-jxXE G30]L3-(;o%B~&ӥ!ĉXrج7^MK=K8|䡰 C/qx5[AͱgYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d35197df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f