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   hl S/]Cauchy:threads=2elapsed=2.656cpu=5.060gc=0.092factor=1.907zXZִF! !]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tA^SF2f9txTtyw)ɨe-Q?ȿK,Z7[w>-"}4dc{^Rr3Qz}WV@(M'R3v&ͩ-WJו*!wHM:H~ZYHJErtvgt"[񄏵X|0)"oQj5Ųs\?9ϔ z5H)?*! T槭diD58訆DM{M>{.A2-*KTX.(CpBl Y)s 9JYE)&J4 n:k@šYRQ*)JnjkR96Qk}|=Y&% qvfq˜5UiRJHiƷ1L:03@.M/4o5F°M;<[_]%< mEE&ۍ+ ̞QCh6>8Qlp\hʫ^a ,8]\H wUW]YxoA+#@&կ^Gx|ҕx{d((`Cwm}}O+fkhW̙5c^ސ؆#-5N,Ž`E[A5]nJWT%ITSz8ML /.X+gYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db09711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed48e11f87a315877ab6251b160e10bb65d0b336b03   Cauchy