SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 @@= ,$\ ]/]HOL-Word:threads=6elapsed=8.569cpu=39.312gc=1.480factor=4.597zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z pO425j !2GYPfrp>]f5ւmu)uzB3 ʣ] q_62iXEM P*5!xykAp tKOLvBmQ_ًO9YcS6*Q+HwX`|p-EJϳ"IJK Fۧ4t4=G)Y+Ұzܜ ܇No!^y_ ,9KA6zhޙ Ll>e8oьey+/ſRb_88vSzv˿i+5|DPw-?+=o8<]+ `OO듴߬|Xs¸9 3-u,0hɤb5H'}o7| EgYZ7zXZִF! *]ŗXi%9(Ioʜr#~N<7qKkɾ $Fvs=EDԠOVBFٷg$uao 9b3{[FvyU/(TXt/eL` )w}}IhЖJ\/!@mt_[ZK7ɴ/#¡z>{*ޞ~>}]y 7OA٧D*Y8 D>ȯHɠw/v /~ _a-``ɜu8r|n?j~N"iK}"CJ(R_muchzMy5}HWWf%Q#GtE8OqC'Iƶ[2OGf9U!ξ6+YeFŠ(7M1 2)^'6=݆BĨ#@tS>\"O sPX`bAjdϬ̴;^G^+iu܍{ hxYin@Gr34̻٘6[^')EM E.>9ue[kSHO}U~Żd+YĔ?3sM7&n]rbJK4jzUDɱgYZ3df7f78c536ca4bbd0a42bc4db9a06efcdb54f5d247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487afa09468d01b8a3bbece4eda4bbcd0e29ce99f2a8   HOL-Word