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 E Tycon:threads=2elapsed=9.757cpu=17.968gc=0.652factor=1.847zXZִF! S!]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DG9>9 TbJVuEau)P@_dULƠ2.P&+/c`%+:DvT V4޴j!y%>a=2*x/:dtk ș}/7)rhR)nli(jJPĩRmt/[u w1rL;l\4FA˱5:&aX_-WYvnP4ww~ \,WBlRBSe\\IGS~rE6M 'ű=Hh 9G`~-t%Uw!p?7Mp 6asFn=s-$]@~+i)o/n +]Aڒ ${84\Μ!˕Ŕ/r 6u| 81H7qNqKi& ^ \M4 Z=5䐄o`lmIW "=v qA>e׿7RsGq,bTo,nw9J Qu%)`GċdDfͷ(Hmn{$`(|<ѝl7W-i{PaYk1YCX3ɒMkW)v-l@T;jı@q`XKv-!:7+  Tyconik˯X(fՄ@= %(vwQLRK> lp܆ϽV}O%j$-DWSqՁaqt>ZZPW:~sLNi a V vKBizf i[g jUS`z_YRrSo^q@;U -z4fUB}jߊL LVɮ, n@0!2 2BPԛhoI$(WA9>SDb|#UdٜW3{O1+ՍA[`dʑ鳕_E,Epx5{!ְ FƸql\yD  1 lm$@?l#*ғI$tM܌p M񠬃O&$۰ ̝̿-ǮF/t-KRmZk/\>hGdVG4-}} XKn쵭xi:4/ɹfL2@ČzD廰4 *m==d C+9i2 {9OYϖåz0Nbpr0KATɚA3TJ>Lh9f SЖ>Rt7JSogG1*hvS>f %/tz+.ŨDqoew sIEi̪^.V_(!í8(EZ{*–i]΀ibN--\Ek}'z,^8r;Zf4ZX6(*3ɋoG%BIq"VCFwC̔hTZ # PqbȑӦ/Հ+"3bxN -꧶bP*"t.cXfJ (hЍ-U+ @1fb܌ۃ]>rY;jԚAgYZ7zXZִF! :{]ŗXi%HQ^< Vѫ(`r>Dѡ'7f^j=_NAы58h=ۏwֵɆ\T^'k H@88NqZKk1wd]x8jؕ٥o>,[Yz;< .eZ-Awy Fki< *pDo9#@.P5-OHYBW8:=OБU ~H *+;18(*uc[W0d R@;lZ߼":eFFx\vIT6[]NRL> *7MˠxP^|՜#[ԊO Msqߊ;1]̂dLQI1y &Iftx͞#'7Ƙ!̈́|hgP 13UdA 1wEh/Kb\XM*GMYAvQ23QӘ̎ Rx18]ƉajmǴPbp:ӄ_Iڠ%@e-iD i >d*p)%)OQ**tZO_6OW+ZUIګE&ګ3*..k?w-ɣ |LoC\<¨N3 Kdyy6ۺGVͺ:͢j\,I!Z"U>:d^8&.y{k1P>Z?*-J$`+ 5{0\،,t, ۱gYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6213f74e08f00ee6916812897abf7946e86fcbaa 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 27b41bf5d5497b9bc7bef8cbe27b48de877fbfe9