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 oo9 D\< ]S Decreasing-Diagrams-II:threads=2elapsed=28.646cpu=44.464gc=1.484factor=1.557zXZִF! Z]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8PŸkɈN[9a!3ܦXތUQ9Pd*:r2SDRǗE37XҎ1;{Ee<%dQ<|Yyw_I0Oϛ]93=˘-.70Gn}+'l n]=|;{R;9sac:eAgtbsɗ!4b 6{ _#2=%̥lD-Ŵsz븐4kwQYx_%(`o P2$s,1ْ]9iN@MJ믥q,.U ]66R/k^/6/<2G,/qr ?P4mny3ٶ߉{lCX\9?UɘS:Vfb{ ϯ69/tOvHDL|9fe$6@(ZBWl!*;u~j=AT= yIVu!N_n9d E+vI/fңT ͋~9=xžpI%7$LGinCC# lX寂VAP9MKFDPf.\K 1 z+k 3:+^ғ6UKIk3L|hA's3`3jnKXA_E n_BeᲠո/%G9{4gYZ7zXZִF! f]ŗXiɟ1?ߟt;9HK?.>e7"p:VÚ$&zWǾ _X߮!52u kd!<`a3EA=pH- Mkf ;0 S\Ǯ3p2' yqK bQi>PX*@!GD`OD{3| P"_҆G/|C ʸL 񹍱gYZ7zXZִF! w]ŗXi%6S}^D_a fOޤ'DAoBO"TɨЄ{ D%e,Gxd 'Q:n^kaQO^=Yc c#09EhwՂ( ݇ƀ24LfK &_5t2d-R~Xl&\/*}>l+`G=V9yR#P!yq!E|Ǽ5\i 2O$C KЏdꡛBȴP׾a.{?PZ oi9{[95\)8E16 j 6n xrm3KGd76Jݘ+aOr v5dL\߳&9afS䌘jvR騸|:ţܰ_gh͆״l1] RHt @M=eQڒ'Y~ņB ]y^cHA.”%g3APt"uS sXK #ULuq( dn`^u/.kwЭ ݺ~@p{0<:]y,}[TWF{"| l"!f,Λf>T=>w?GӇ!ۇ>a4h|}T$j(P+gBgDOSgEبHƄ(Zsb:@"o 㤤{m21P1aC0`m /XLz'&H x1,Ko"}ChOԾ/   R*Ab/ k,,P@5u8 BW5X fi٣D;'g}>tW KO6Ё[_uWփȓgiTd;N#>΁U fRKY D;(/2B(ħ76m.SiXݠ~CͯN6.FWYKt~p B@>ݻ Hf\y˼w 1B; JfJqF܆?+Jo)>gXj)>]'_k\ P?#?KPZ13Kg[~=:kÔ_VVat -9ZU@bJ`[x1 a UI\w*CMXzAP>eЙ #7P,:~\aix:{[_WWשVѝM =7hVH@PG͓4/ ᱶ_jkh0c v [X@ib*- -&P"D'o$ZvqIf S3gYZ7a9062ba5eb00d12b2995af94240e0cd866d6f69e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f b7fffd2aeb6fd71ed6ed3ae3b714f2cccee84623 9 Decreasing-Diagrams-II