SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 / $ ] Well_Quasi_Orders:threads=2elapsed=27.321cpu=49.440gc=2.796factor=1.817zXZִF! F]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'``e.T\\ء? x$ձL뼱4ܴ k 3ҦJ\O*^k0!ḫencD9 xp(KnH7t=Tz > ߨ|S]Sm*֋0"PV1m ^@1Q챢㰀zb؏f!ei9,Vm7[ `Iz]'ɆTځۆ($I1#jT#*.1­y^S4<;3h&o$ /9%>@B瓸x`;)PUR:_I?YHr-pa辮e -_![1ja<ň?5Zbuf.f=Lfld&Uf[gs}o Z?'xe9{6dDgYZ7zXZִF! 2]ŗXiɟCrhi^IxDY?Av|3 iNn\{U0T)iZbfg&퍈 `HP3 ۳^~~-$ŷ .FNrSsk\\WIe/Ccy'= L]0?pG¿ nqVeSTy#24`zXNkkvbE _ʳT΂"\lR TJrȥ[S ~֭ȃc*{,^rn A'Ty}RR5^Pf+1,r +t*X|Ol=.!RO#,'vT{8Zъ,x\R1ѲW )xd6!a`~rjy8CY0J`p89%Wj,B3I.e|3f2z+ye\wҟ=8zyҋ*j Li2DFi1(9kFTbIfÂ"1bIIkI]m"8i:WEj3ك~a9 U^бW0oX.|+=/_[ L7 ='+<-j-n(nYQxHAaDA,M^z,؋G.D Owx^E^0Uُ^'FvkWȠnVѤcT?28uozZ0Gƽ9{H6;D3N5DH1> $Ђ1^z;aO҉kNK :|Y^[Q_~$؇i*YCS9ՃE])&mȴ[#`+bqapK6D~r[^"uhalΡVG,벙wXKt AdK[s0㊇,%LlՌna_\Mnix_{>5%L2@ZrnQJ3{j;᯺L* 1 lV0AԴ+_#zB'()EJ#4MHڬU0=8Oa/;XTF仱NK65p* ۦ ):C'MԷϷl5VGmtϳT)|kb!5*Yip}9ȇl3BNhGql({P9V8^?4*_9'NG{/(<ۗZT7@ #Vo+W|>ٲ7K&k e&^Y)qU:Y]ԁ t djε/:*wA6yTn5}Ds'&e $oA2P12T,붟Ec?Tˬ@ԟcٱgYZ7b673ff9b2ef5ea3db2716736b8f70552efcd24ff4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 / Well_Quasi_Orders