SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 u <| ]w]Routing:threads=2elapsed=13.769cpu=24.364gc=0.740factor=1.777zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡ՋE}\͞bUm躁X!of$H'=K'!cY Fmh_נTΦ[Q}췸3Ǘz Pm"7Օҳ%2ءӘت*rd1 (z So>NORI4.̹N'(Y%H@|E !B[ΌD_,rDI}u "J( ]Ej\8+F34cߧoܣ՟c`oҔTqZgEޑy Wݹ57Ì Qڇ #U؂ccbⴍ̲0.DtajjufWѻeS?dBE(9Hht>ykaLp_39gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM:dc|i۬nB¼M*g{6æV$2eL3v@[.箕7^́CWǠW`-n~]4^0\0p8L - mZYbh |*.*gYZ7zXZִF! Ou]ŗXi%92.[|]\w U F0焛qn_ձPt5`.!\lLntz&5">O)b&M$(tBe*ٍir6g"uK|K)Jkmo#nRL \!_ 8{uP04D%drtr)}[Hjq22~O8s&P6Yu9WIuMMݱ|`T3>)_+C"N{U6ЁbrĆX%'*~#JsEfvk3@xKJw\;Px@׏tk&ê3܀۵yFXE?x+?P:ӨBtԻeTa^40@tݐPƞNa& 1Q+0=t0vPZuUK4Oj((Vr^|^l~~8KlȞXjf/,j x>]`(YRUP>`O˪eکE݈ς|~oQmz=ǥ~C"^A^'txzY6Z Aia z k\Ld fr#WsTOftBny0Q@ Q+gYZb5e6624bcc06057c9637b213a49b893c16e568b5fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 0e18a6ef76a408091ee78011e8ee216579a93cbf f49173ad8e591cb2be56f6a06e2e9d12a241319b 8974d14a8afc9ddbb7c91b2d7bc80965ff20dbb0 cca499baed9f7582c749a3b76391ac27c897ddb6a36783c9c7f0536cc7833f0414661e7bc5e2f457   Routing