SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3 T| ? Decreasing-Diagrams:threads=2elapsed=30.918cpu=54.884gc=1.880factor=1.787zXZִF! []ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I+Y{9Thݸ'R75QH9y%˼u큾z kjC]P*i,jf%J1؁NL9΁n'mh{(q~0R3b1@2h[\֘O L'hO+|@n}k[ï8ʼneXh/+ul0GW=rpRiLTH5} +ηs<, q[+1n'DzD/!tFf.c =D-|ZQ+ OȔǰM 734ܚaci_Hs<X(I:O:ߚq@1Sx|?0!j _k]}UO6S"++uRf2(Fɤ%7];Ӑ*^.0)GLRpLN}gJ_Qv!4 } A%I|8(t z/Eq6rF"W346qEc@lsw8 3 Decreasing-DiagramsFBJ{.rF0M7HcZ}q/SNֹ ^ ת}42|뇟$yH*aehЫq5GztiGUY~1`Ώ TW\ pDe&Cr/V]W 5ů6-;4G_ΫD,+> 1d3Ku4Ramz,i$:CAȈ2:&3gA=9!~'lzNۚVvqC:andgѠ`}_Q_*]|L+ '}XF? &݌? 8riM/09sУ9 υQGoiRWXS= j׸, e oF"'PEh\%Z>x?=E])Z:֦bc{6s(h . i$P8l?}&uڞԦ~9P`ʜmlti4Rִȍ2jX1:C(|;0W hV`xަ _e Y2 +*p ,< 5@i giɭ`Jno{ǤůJH8_ w2!>ϐ(vC|:0ܗM(') 1=fjo4ٚ=Ц|wldR.M [.M!ܟf錕u NJpx#DyF| 47GlS i| (0AMI>e[񗨭R$D9`T`VVl+3n>ݪcQ]j)X~5B2Rh$|؞8 bSRi2q#Ow[ω[3M2J1^î|WS,ai&n4̏_.E6[y9)qE,”> LU,s63YE^tS=) bS{ӍRqq(v;A!+ie=J &!?š{2o wxҁ pvB;`INjP'!0$ tupډj^vr#=@eA![#!YMN,G($KsJtX3@SG܊yށQ *y⌱N^.Vx8?*|ټ@f>ʇ=,ܕu0GCMU"6nXɯwoH4յ?Ii"4{GiA$O3#^r|Uf`RUHw!x]Kӱ WbWjfR^[a%42ỷډ6If3,0qsY)pm5 ˳}/ZУѡ #^@{TtAݱP..;%LQkkib@{O,թhq=ש#Y.&niF!%Kq^ۗC;:a;I=' PBS:.{cwPDS3R=ON'1&'L lAJhB_U><t䗯~E7gWNʕ & LI7ϼ?@XN G'2/0ڊD鰚bN5b-+eoe iiUN p;$6_50 R9FA{-[|4?Iǯ\a : mL.[N"8:!'(tvms1w;tǦlpW^HeDEt78!3R{ذ GY.w#!{#_̟[P`XIÁr(r]ñT^REO>#4@̨x@ |* 'C p>5*)Ǒ;O**E'0)4A&<^x0ZumrVz[q;. ' $Z(mFIMcΪNtlQk^ ߇bN+jBFc@gfVy>Pρ 2_ܭ~p)Y{EzePl_~xɜz#ٹɑE~4@\ E0GAg*kuc D/0.]O*Tn 8uH3WANbTqx-\}@TN(!Q W՛:Vbs%&a0YQ7.LU1q|d~@e5y VgYZ7zXZִF! x]ŗXi%gC\ gs? r#Lm줃*j%"ZS : O،KCMgY"WKK;3 ]Kg+t4& ?uWO'VBlp{x[_9&jga!pd\:X a1.VIV3紐>ӗԶ?(ʲ2 _&Q/`J4 <E9a8M7 Ҡ%pM}S7A^ºC')h|ZGphXTRߊ̜Dk- \䥿[ł;=mxܯs NJO.LAx(L'LOTiIVYj? F J12ḧ́\i<] >o@PGRsqr~އ=2FM|$=of+[V g+$:8')^vC^wikoP[>SVǍ(ou@/&B||k1z`!lpQ.Ѥ[&K7SD8rI,)>1U@RvV'gcΧb5$.;7h{[,vua 5#A/q]ޡC3EA)Wɜfg^7<<.dsR]U'2*q OOS)=NU\=L. =}tw@x9G ׻ 1$h~BV72 3볱(%4OsYo,FbHc0$Jq!QS^(GvҘ!^x1ъ;9t)g+e*6. 6'5 g@?Ӗ[o.~/!N?fa"洁yCn#~Oش4qb{'M|c U"_;8F;o'ώ1LuT'{٫ҋn?qkNNH(s{Öt?3UJ[ _;qniZa jSXeاnb@`3M  P- \QnPKB;33})q~-OqFwuU~%JI,\F`aW |fm]Xû-=U;aլct켬vq"%,S:$[|ٯ] ǂ6&wvцl4Sߢ.RƳpQuk>=[O:Zg(>i/< 7),'s:a&F1_1RtB4i#b?0KHYT[e}W<**](hX6T^~,7g@Bf= …z}K}=(ԠYB|z.Or⭂( T UyE]:eQ