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  p,l S/]Cauchy:threads=2elapsed=2.767cpu=5.324gc=0.124factor=1.927zXZִF! "]ŗXf1-/6vRZy_.&Z#@|/GDlƝ߃a6V0xPr/^L܋AYVu7G|.S뒷spƚkIdMʀ~tL'UojP&kx84{,fs]0j+W\v4<~1rЬ,χַsaG-+SȨ1D &EݛL.YGFᨵNt )CcH~X>t#:MH3$v2CC}AH:Uu:Tt/eo9v9_M~x˥`^!o;~>\V,T]eW?mWw?K 8&q}6:L^u~;pŏGtI mqS`2(K Y'|TUіMXdαv~4|`(eX t"ݨ[>2[0X2X=KJzg: zUկ> Wd.Bi,^Ae$ uеCu`Pc@,ٟ%/a4Ï^z2[smDh*A9J*d<pOk q(H~oh89 ߥ$EEΟαgYZ7zXZִF! U.]ŗXi%!O_HLc &0م(˖fKɓv5hkm!G a2S|8-Y`WhwH,hU|p1#3:Q:B;C$<+;DB;4&V"4믣mɸR1QE1+' \.':&Ľ 54fGj<<KJ1,6.s^4ưNe %&^)ӼfFb'ѺK+uHz< J \.`JgYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db0fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700248ee75219257f2bfd26a425caac66c514d690b4   Cauchy