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 00M5 L  Lam-ml-Normalization:threads=2elapsed=10.237cpu=16.448gc=0.828factor=1.617zXZִF! E]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 ͈ORK#K W4}AZ g ]_<06[PMZ!iEKM zr}NYp`p31H)Vils]a!RN!BwN 0z ~3IU-Ǩ$' !Ux%6O8Mt' ڽ^ke-'鱕uҌMA'3ľu5nj&JVGgYZ7zXZִF! :}]ŗXi%6Ϟg-Qd|p-3=?b1iGۜVPq8M=W=<4?0:"'eݖ+Z9jV@e-*qU9)u  q xp]y?eAUи  J]T7 49wȊ2#'-б$ KyƁUQ4Kh>EmP#cqkZ4g=p^<^NYy,|Ok>{HI&8m/]ƿӕ!(CMꇫxqeeqo+0'1ΐ1ɎcQ57rmr# F3az!!,gbGUI/.on[/ҌojcSyfDD.JѶyAi|c;T6-iW/X zz3yDHI[d&o$?Iu |3$MqħA<JThMnr( zȸ/wĩ[љ&w*6Ns~7^"[(dfU_ʈclYsܻK*yi$]MhsB O`DhIh4'e$SDj'yos@_S6Բfq6hGsy( U(t8R/K?ԕȼyod{1/ TI6_n[Pt˦ȘyMRb%%F*_,M/ ^RpLE;[:,x]W흀eh)nuz D)S Յ