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 88E , ]/]HOL-Word:threads=6elapsed=9.017cpu=40.708gc=1.608factor=4.517zXZִF! dz]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yˆĤ3Fz/G#8c-]@wun&D2DĢ$HrE[T.D'I1E20'Y|Wq'H*Θ?R 7Glofܑ* t7UM~ʙHJz655>(Ń/荀WAQz$#zk;}`ۤU1 sl\gL+R᨝<98 _rXjɚd_"\7C/4 }HYes :kݠ3dLٕ}`cO*_;cDbۓ><N&Ojs$!a%='&q;FeaԦ9#5~XC}H~~oك|n%g׿91"{/hhYtwXW8yBr/v+L[G ;%*M.pZ!&=stZ1a|I5]ɘ:KUͤ l"VPr0C؄ySCa_u s  Ï]$ogYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A*LWp l3F V-7"&&0ȝ δ ' >E&u=zBpz_^[=XhJacƺtx*}QF-^Cf1(;#>'ײ]HDUW%ϨSõ*X*$S ɏr#;K*\gMg_h w ] ) =?@QlEY"T23XSZ,僞jF\qmi6^[(.iE٬wF]u=F{B8&C1˒-C{3:.%E$zm,ԘJ5Zwq)>:V.TNwCo4VQD)6{ %f24X<8Beԛw6%f.kCԖ0uHzYڦ.JQ-oeX+ z;4i+ z"kzGN01M%mq9dBdYziu;n0?R{D??(}]:zғ3ǻI.u(t Ea?XhP [X70ҟa&:b*C(ϔ@27ႃ./²Q݀zHܫgJzfPsw~Y ͱgYZ08d10574e7b63f49bb1807df5017a5c79c9e1f3b393fae3774b4e564b1026bf200bc8a56a06c6d90 57047d6b403ca17ea2fbe0bcecbdfd87177ba07da0028c1fdde2e7d6d6b4e4198a327f2caed438d9   HOL-Word