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  ' 'V3 D I MonoBoolTranAlgebra:threads=2elapsed=8.397cpu=13.124gc=0.492factor=1.567zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<}g*^ɻH_\BI2K$`%Tyz4ec |qfs\k7bSL꿓|u1|ebRAEџ כ]7Q_%3?*.bF)Pʆ2*F $ "LyoUg'fʚ# 2gwcQeiF uR^gYZ7zXZִF! 1Z]ŗXi%6MgP3n^!#[ 3>ͬ[*2)bm"ȄTnѝ-?yt|vn!B:+È-_Ȼ .)no/gU=\Lw8Ћ2 ^j,}h|7Q%bd7ݸ6O\jyZUzOF@_dݧ[!#zSɡZfm" ԰SF]IVN-݉U:q'OwT8|*`#ďWGk^10\V1/@L!"`+GHc7WQi ъ^ a94'wp4Y}n#6PngF葈`I/~- 餙Q=ӂ)ky4E}YdF[aY8]}Ͱ G &>&͉8JuhnΔ&dK egecjaMk2z⽃zi*M/ 8@ynfmJmպr+ fS\<2sp}T'N#\':Gh޿zx߂|.͂lAޙ[ڦ@k#ďbVB+#* =UԿLNerkRM`e"Ã\T4O]c\v.N%n%6`c` 3PU 7 kf "d3JKrFmPʨZI A.]΄-޼dža)]Bn׃/aG 6bOz\gYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d684e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 494133985e2ba7ff341b12eea9c5300aa341879d 3 MonoBoolTranAlgebra