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  Q Q,  S/]Cauchy:threads=2elapsed=2.857cpu=5.104gc=0.100factor=1.797zXZִF! ]ŗXf1-/6vRZy_.&Z#@|/GDlƝ߃a6V0V#\㍎m wH0b[́w0, 6ęELFv}gYZ7zXZִF! :]ŗXi%6s1:PHȃͭ LjO*Yũ:QfStQ"z&&{D|]$d;g[h[ˮBpOVS&U,>qzq[2:6ޚVsOX,2( 2'j x[cJRhY^A%Rҋ{opr2|KԶyS7 P#~Ns~rNp.3Qk`9J xϢȠ ~}ayZ~6tK@lBNt:-ȸ9ThbCrs0RL hfzr'q E3ﵛgYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db0e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77de6af79b3e48ca1612a4578c95a1015af1c35ee35   Cauchy