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 @@- T m HyperCTL:threads=2elapsed=14.960cpu=29.048gc=1.512factor=1.947zXZִF! UP]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJI8,9^RRf襫&nQ'0ާQKi '4Q\Pm=|]H^(˒Wе9""ʷD(_ˆ-MtoكI )T؂1 '&;5w?y EVYRy\-s5|1bFR8ԉL/9N3R܌8gx LﴱP9J۸@/D+Q,c(J%3oŮ1(]6lf Xc8[ PFY`_zhyc#7w3 q2J;0jvZ|M呡M^N.QKHךgJr=uruff2jM ݠžHZ+z!U8;E1:*Խ{uys@Lyn4+=pᰌR_~ۑhTωa> y~a ;;͝f2& ӤjӮ#ij$l7Уl9/+onCt   HyperCTLx=]7̅)x⚕`:Nc;yqā,Cܵ @1cHO Ih^6'!%KYgzfZH㪣$ 1us>oq:$b^Ęq~e"D•[6H;~Qi)H>cx)* `U`p%q`+Yw,ȯŠw|ifb Z )|ҦVh$СFjp_>Mêr}$þ Y#~Ky'}ͬ=0׿LEęXP^QWXm(j!I %ݜ[A['y/,I˺#j=B,cf(j ]n% &\y kTQ<5;' h-Cު/[۪p/#d;魶9al[HCQ=:}"g{݁STQs $!L }%_eA=lؠh*F}.aFn+B( x #IjUsy \b^[f\V1mP m;^OT"/Y϶ӏUǵOxsHUWXEnKw^ i/VJ_(W{ 9-;&쉙tsUZy&aC d2ֹ7PCixKf\2B9{| 4mN.&IԀ2= z7bSvωfݛڕ < *gL)-9 須eIj\$ \ /[*ROQ\__GZDy4]:jzlPͧEs`]j ݢ|5Txج$M!(0c|,.Y9KF?J ÿ gYZ085a79689514cae4b54ff7d38af148e3f9998070 383f905173f174089090ecd177669a4776a25676 3a1bb83da5a2e0bfa8f3ede5091cf2e6b5ea641c 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243a f27abc61ba237ca24d53eb7d356fa2b70c07afe73b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31