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 ll+< + HOL-Hahn_Banach:threads=2elapsed=4.050cpu=7.772gc=0.180factor=1.927zXZִF! M]ŗXf1-q% w \4QǼ^%fE0AgfV\yJފ'} [3:ژ.ʼ@C+]Rkk8K˾NNϤO Ny&g 5g__[PEw/տ.l琊@j@ R-6 miurTA >l^Ҭtk}?C9᪹ A(`W|#pD/&y$ + HOL-Hahn_BanachXo3b hw :ʳc^EfJHkYhl6~ө՚ᅕ>5)?!qgY~'x)qp/uRNQEQqѫ,_ CDlx.%]sY!a -ɚzmL7NmJ]X(١[os<Qޱ_u"D9"'1G3lyrI 4Of x~8%ҤAȺmȨj,5 LS"^ȍʸsSY6n`0IE7?z$_{8z)}QQʸc$=Oe! c,6иy*3`'ǥe~: V *pQ|؏,xBjХ!%>pqcsu,aγ?BF㧏) .j@F+`o|Qxr%x| L|h#;D8+gYZ7zXZִF! @]ŗXi%#f N0.X~ߔrg*m #͵\J b!J0i3m2qsjݠZm K5Э[]{DEѽBg jT7n0R{kO;/ g[:Vs*Iw';K~,<מ*s:!tf C?lĎ.İ5dߑ=+o6YJ.nti xwT<.oYA[:$ިEHHɟ-t?tZzqq ZD >OEǟ 5^ZC嬪`kUxoL\ P t @ b_R 弔pBr]? e"ORm&BE6Al|/g2`U ĈP;)@ K`⡧n+m˅\)-ތCc҈E9Z5m|Hqv)d<-JI<_muV1dvqn 7zc#8&yqG]]_:\ <]N}m 6o-^G3gB}_UY_wɶ=f<+1/z~OjƏa౫*;sx<9gYZ1056ae38f6fb0dba786d92087d6c898a3cab8b5b 1fac670295d8d00bf309e4e625e77654a76176cf 391487ee4b031686a4d99d4d12cba9a269f2fd07 5ae6e0ff9d9cdf2024701147700d53663ffa826a 6fecd76a994d840cb600ddf6fd6d28a1c64e7394 81e0df68b736d3920bc374db15982283c8f02cdb 83bab2beffbf4ee896db7b96b805256be37ce7d7 982ca8168bb4e8ce61f4e8483f3957ba567b6bbb a22c745b98f17c67580b11d999e0fdab40574786 a6c7bd12a516b1b524b6be77e1594789f2b4dd86 b631e23bb03424d49e1b2efbc9665518164053ad b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a c33aa91be9218d9708ae860341b6d5389961103b cb6567777c626bb2dda43b488ad022e4266a7922 d197f05538956a2f8a253ced34db1635ff8c081e76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade