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 v- d m HOL-SET_Protocol:threads=6elapsed=22.023cpu=89.496gc=2.056factor=4.067zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nS56-&S]-O[ը67Q}Yū^*J$iKYZDrƒ̲ݯ #Y; |lY@?ަN .s}EV%@`b6FH*'Va|'hanЃ7dM 5~Fu:u6e!ՑL[wQίM.ufej{shx܍`YQIPtXԼE-7 qGv&bX~*LXW-&WGe QS EqLٔZ *ZG/JTc'"_ne9orN2 1WܝY52vwq/ё]$=nD_k)<0ۍa;4%aMnғr8rEwQsދ آCuMӽvL&!`{#y9w#Tq0ăE*}߷TzhಗJgDi*:kFQ"):j&G:́wT{sB2^>N*w1ѧڑqd>Gb0,V+#c*`)^@Nk;dULm+;T2'H\~̬QfrgYZ7zXZִF! gi]ŗXi%6OqgB{A~-}AN/ `!|/H(YrEAdOP iKEƋ6>͑Al7PeQȦ"U˼##pMcyF>Pqus/L9n /:=* Hapz%mM䱦 d~j<)ˈ~6)K9yn쉫3Hoean1 |:)1ö]STsd("zeFS#jQub6XO6 WhrMfAz]jJ[-Z1Ӈi Ҩl}MH~l#qu){)X( ~5 R#X9SOÛl ȕ"]c{ԛLk-pѭKG78&qsm"=cY'Z3/]1?F7D̫=cm1#&TU~|(El  B+h\UZ%RKA[?z,kܞ*S3>dAw;/LSKGd^7Y\CAQs֎!o+\[ )e2IE3 ^b\Ÿ*ýrG$rf)Ez$tv٭^9**$d Ě!.Eh%)T%s'#o SKT *шdeA~C/[uIQfS#Y)l} -ijerXDuw%zA \88_ZIr7Ԛ9JѾ}3F)t*dx7uieɆI&& T(];_hE  +|[#,L> 3nemsFj&n \Ö:0%hsFfRYɮ⻛y?79o^Hr}².NUP=C:|ijڵոbn.?0ofQ9@^=KZ!J"47oSgP˥Pv#,iCd'!ڍFvݶf_56~@~w*-HT0׵A>Q"68v~(c@d {Mc'BǛ2t1*,cw1#yݴzܳlߑlT6PHfjk1檦kj_Hf'ت~H$G x1J+D0 Ǝ@/G;X jS#t~h3>=ףg%"!9mm9weY?| r,c%6P" ~/f=^@!sm+ՄP)AAX\DNEܺ]+6Do%{\&F1, L(P7mIN1LFXy7g2\9Tq3 kjibZ9ޜL[ Ɏ`k6;-WxH9QS=HMQXbL[bN#=n;$i莋IDU=OƆ֭4aMR]r~ ܳ\ƾGL0;nu' 3+UDJ&}yMV