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   j/,$ %S Liouville_Numbers:threads=2elapsed=2.400cpu=3.860gc=0.000factor=1.617zXZִF! ]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( 'weDv&h o~oClEl(Y;YZTھW[*|IggYZ7zXZִF!  ]ŗXi%6y4OTsſǃBn%AA^>([ļ)P Fߦ~ڶ>G׻ Ss Z#+샣C]hp[q}&E <[hZ]nw:ySVxe#7>S:QWҶ 7'c{#LjMЬ@Hw%i6o!{_[<;a8弩g!]˾CS?wy}Z̗IMns\ɴ,9ԟW7>KGufސ;Q^nH "cIE&Yi0' Mؾ`Ksc=K7iylz +:@]5Ů_߶[Ե0-"? [%\]VHrʑh@ \z6ˈkgD +ZPq=` Wf`LVŢ8fP iIm-U\2s .g=҇o)3gYZ16158687bf6151f09dee73c866382325b682e1fa 977b45643c34661a2846ba7275d96ca42194b267 9e181743509cdf0be709d709d0b38e72ae327f3e e8a7278c44c665abfe808ade78e7dd92c1abe7e6 ff2fba45dda38de01c3e1a1f6120ba8e924ad692554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a / Liouville_Numbers