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 v+ D  HOL-Analysis-ex:threads=2elapsed=27.827cpu=55.100gc=0.416factor=1.987zXZִF!  yd&W~[ )'k&O,,Ǥ uWfż6)5 l jt vd[U\ I>{j<-qY'\ yISp "MGS~Z̺6[;,FG'f5v>S I,/M1s3_fsuIXKޔ< ƾ0N4HO~QJ6!ECZsW)~(,DwgFFá,VoA}d{HQ5-l"A&w}1FVj"Ka2 z}v§g9uAOB4uH륦w5ɥ5 }ΔImn`qo')@d<w6G!OǷmx1ŅYZ>(_{_O-9a<%X8k0 \,tR?ʎOIWDCڭZcK|f vF&?b TosF5χd 1Ty7 ES? 9ޖF5@Wo7pƕae?^z:&cJ]R}o+`f3֊1އ-q$xYsg U/D$_8xr]h<qgO䁃q\Nwva B,%;Dg3yW5Ц>}&=p9i9QфSb=TVv)yaV[{VP2͌kJp@1P1 G,*k~Ø x "gYZ7zXZִF! H]ŗXi%B4`JMêPBm{a\qbT46S1rZVeuuJfmﳳJ+'>MKh7Q" ̩%ǡz"HƬR~b [yړslCL%7|DhBCUljtu rrv6SvgCh&jC^iRF~^Zqz"Hq)*oLwgV!j~ B%J 70:Kmt.)jRNwJ1Px>!hϫ `GֆWwV'BGT>bf+*mnWRȮ6xT `V\ٞGtxÁ_T(ЙM5i9,q<6I +Pn+>Z!vD,jVTE3G cIu%k Ë_ ]l1K>Yc|Ϳ]N(cWdx=H &浗+ZP.fʳeY>um!FmBcSq{DL)~ $D⽎|]J$q)яW7&7@}[I;xR:)^pgN4g8uK|lҤ疚¨\ :M?4ɐ:4I݂hgCҽf_ʼnRMy{sVflZ/F^ FT0\YSvMTD*KdsMZXN"qu\\W̼C/n{Kbbdƒ48"P7֗t6s;/H*l." 9n~봟y&Z9zhq,jά^nE=:R7 -3!3kRo rkꢮ)<]U~]NsV9iٶ”rjP\xЦ؉S CЮYwH+n.T8ڀvt8Bsǯӽ@fT$섂H뫅\Gz<|unVs@փZ5Eɠl 6}w{A> <)B';)3xBԜ+\~\GKk