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 W1 4< + HOL-Metis_Examples:threads=6elapsed=11.917cpu=52.560gc=3.008factor=4.417zXZִF! Y R]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Ѣ'ji~YiQ"Ec$!DP-(yW1M= VݷZ݈݀ʳ#Q :63`]ˀ1(cRȵ$Cҍq|b"V??{aI'^([,g5PC# խ*vl/eǴNJ f02Zqrj9uNƏ]wН5Fl 8:hgϢDs酤[>i~1E!/><\zΪ028Rt(LHшn\n\^{90$̆֨eUOZ?ՀE溊׿I3]]uS<{: JPA6E93^O]vNrFE#t_Wjv&;*@+sY|oUwqҰaR,E0e@_cdPAjfa3V޲&#&ˑpdJ…yK{R #)'Z]Rh .26t#" xlM'&Y; +GtFLX?Gmfv,[ <+ox5u%Aө-:z){lfy(v(4!D=Ap;cZ`iup_'Ԯq١l:1d*lW; pߑ^P]㘑r8 P5kij@w8Q:"Gh:K|1c?tACoS>OU\BP+Vfo4:IeǸȠ[;qw:‰7Y J4Ҭ4oziB=C_qJI{<5rZ  qs|'c\Jvb\UbDLsmCc[Ɏ>Ҕ9LT-8zQ/7ˍ7E, }V%R6\XX ~56k@ED\ga2"׀5_8mF 9+=b9li"YB91dR9%}^nuTwF u1q^/2teN&zFF(M/r\}_c QRgYZ7zXZִF! ;']ŗXi%6V!yL36z2FG05cO||bae\̾^͔TUz- [] E>dCX@ǹN;j\azڞw##o|Ab=Diy24c xoRns6WapXR.uѳpztBR Ϸx:u[N"A@~V/>Cy NAͰOa1c兔{Z_c🛞hY>k"c;ҙRP@yFE u|% C_(jv|mPFThG~ݰ~d޺'{摪ԖVaݵ oM4ۛݫm͒ޢQ> r)=%Ѡ =8 zrW-Ee C+;-ş ir Ad|~#ݝ)]m,vL#;): G˫7U{WsGf=p0OulWWiO-6v#?/, نRS2.ޒZvUW&ñb/"]҄ 'DgiEQ"qcm M  ϣ1!>b*_/PVqr= *o oaű7'Ȱ>Nt:Y#lwOw?Z~Y1/S#^[9iخ e,aic}YV7B֊f H 1Kb p}τA IAƊU-5y49P@=Wțz]k싓hQ v< B'ㄑ6LM=ERhlNw: wՈ!پRu(fr'cwpNoL(dyE-i!Cۨy*{Dieu[ v [DgYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 30afac17f29e367c46142872751722118953e506 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9a362efebf64ffd920419226b62b7d7b9594c189 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a29e4a1b14b46397f2d97d488081eb16759e6af7 a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee17 f74677738c92aa5cac3970ad1ce529e2d0b0bfb7013f12b3a18b5832e87d70a48956a4ac101e569d 88e2f99c5920bc73d5416538298a01671c7553b6 a2acf7069a04b73290e85f261327886d85fee3a4 1 HOL-Metis_Examples