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   b/< %S Liouville_Numbers:threads=2elapsed=2.297cpu=3.932gc=0.000factor=1.717zXZִF! y]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( )';5t;gJK]>m˜d̸PѱP'Vr "KHIWhZwutZrt u潷_W*QR@9y|`+fFu¿#s˽eF;IVtM]id\4["5s.H f\7 Xq*? ,_$V&}d@_#,l@Z&KŋO.C2@{d:RYדu[vQ+ n`BҴ:~#2g5.jf%(m~u>c3lZTxhiuS),=iyXHAF4 9ɼjv!yROf/.'Tû lVSp;"NPwmb@WXСtb\r `t{8GTt *^pNi\qVYaw<kDAa?0eJ7|3O j~>32(^$k⳹CJO#78G%CDc@"FXQ)[4xgYZ16158687bf6151f09dee73c866382325b682e1fa 977b45643c34661a2846ba7275d96ca42194b267 9e181743509cdf0be709d709d0b38e72ae327f3e e8a7278c44c665abfe808ade78e7dd92c1abe7e6 ff2fba45dda38de01c3e1a1f6120ba8e924ad692c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 / Liouville_Numbers