SQLite format 3@ .  YYQ77Atableisabelle_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, "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 jj1 \ + HOL-Metis_Examples:threads=6elapsed=12.292cpu=53.748gc=3.044factor=4.377zXZִF! [7}]ŗXf1-q恈(K&Կ6l.=Coء-=0Vvl査l(n,L~zfبl" C h:{Z+ݱá(vwW2v)TzZ-E!Mmm8*/2)>L6eed9|=>|)iG#{Jjh`e[rE?:jRV!NG7^.1HjvoioCtp l.ݬ+D1cؑJ0zEӤոmQ@1@T|. e!=9Qzڞ!#mջ'pPv=L`Wk}k=kj3}Z Ӛoygz 8 UoWiLB3_"-XWQr Gl@,DxTI$wN"oz\>Ep1u8qdH۴&}#518&g&묡%]hJ_SZ[_jbs49NA{~଍@1hw˔3bS8gz51~Iymj3f qgYZ7zXZִF! ;A(]ŗXi%6U1.VUzYn(3v6LB+ !:kQ7UJ7;w}D[`(F1'ܻU3*sZl.Q#nٷr<" "/uv gM!/%Ze"4Zk`v~Gt=NHI2oZtkYʻ'xߕ H uR%>Lac_mN{,ەV^EyT_504 *ϫv6/ixYY|q8:ǓH?yWw # _&96U6"Eqp`x}L70 ܏k3ߋ xyk,m{_沍8v$WM謬ZUyI^VTka~F (kRy,\ ٟxU֒ĕϢ>O-į) {!RkGAM# 0|[:mAZ?eiV++al'+}!}#(o&6ۤgƌm 1%^,t: ^6 *@HS!=G_nQvE jmATgfAWt5l"`Rh™$.ΙzU96N0Ŕ%C9:^˯O&V}o'թd]mVBU.8 %qkiӒWg5 Ӯuj8$)QiOmEJTSwǺqefa1rU7cm} w 2Ԙ:XBÞ $!z>% 6As[O,Q`fjNźdɂ8ٵh &Q5>Fv|6VB"J/ =&Wp&M#%FaH|"a,"_RSD3$j㟴Iu!(ɰ2`zA*!lS.Ju/O'>c sҗ vgYZ0e2369879c23ffa3af808601205c5bb2f112917a 1d0185456c84c1ac52eb1af2d60d63769a32bf0a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 2932e8acf4b7611b21070ee6927f2e748edb3353 30afac17f29e367c46142872751722118953e506 37f9ef6fc85bab2f1937ed81bc66ed57d9389e25 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee176a0ed784f26b5ebad2e9665f172ab4f05843033c a5a6641747e9474d03d52614c2d0fff98c0bb585 c5b948318c357b1a3c9beba6f364f6ef7c3a9ae9 1 HOL-Metis_Examples