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   ^/$ %S Liouville_Numbers:threads=2elapsed=2.379cpu=3.844gc=0.000factor=1.627zXZִF! ]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( p Jrji657t;s|g%$v68\ Ph;̱gYZ7zXZִF! ]ŗXi%l kR[u9=ŖSB,w/!N`6rP+z>!>7;7Mfvoj%tbk|#Q)rCjB׀NLw3a-snd(C깙QxJsMWɐŌ2MiMV‡S9OXcN5tNm5O:b+?#[u^(2*Su$ }kOw8|6ACqk0Ձ`)/ LrgYZ16158687bf6151f09dee73c866382325b682e1fa 977b45643c34661a2846ba7275d96ca42194b267 9e181743509cdf0be709d709d0b38e72ae327f3e e8a7278c44c665abfe808ade78e7dd92c1abe7e6 ff2fba45dda38de01c3e1a1f6120ba8e924ad692735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 / Liouville_Numbers