SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info hh 7td / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.074cpu=5.556gc=0.080factor=1.817zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJcc:c 6Av,g]q2E/U݋_y8qY.+/9zKEKδ|Vz(lVO悴ex/ot{PR5vjx23#ǜA Ȱet b᳇_YV/C"Nݙ8kqָsM92.o 7 Gauss-Jordan-Elim-Funj7{L׹UBP=2ƿe7 T׌!YA jaxkW00P9 F ڎuۦsH@ * uX񨳎~.nnO|#h ҍ.WeKbCaU 7;+/&@32o{- 'x?` <.I*#kgYZ7zXZִF! ;+]ŗXi%4zS [)OsU5N.0)ߠg6Tŷh= :X bf+Sʉg]shr}n^-@7AtQ)!EI_H$hct$=. Z_D鹮 +f9E:1GVVg5޷ q"KjAce$@֗q5*gq)'LJ=*OE@eY6E  ^')cunvz#.3;S/nK)*mٚ7+x"A#OnΈ–ի:hwl,1@.6lRbp -"]d$R?WnUOp9GgV>I5E9s SrرH ~\Ci%P]Љ97l9؈ /΍F5`M;F@N9Wôz|>jx֡\&V`/i<#d[vw yQp͹/l.O_gYZ1874a0cc34a6a9879924440656ebf79447d8da6d 39aa8f6aa987da4b049f0c78dc1211b11b2acffb 553a2ae14632bc956ec0af3527f5022f65f1c8f63b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c