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  i L %S Valuation:threads=2elapsed=67.754cpu=101.416gc=3.276factor=1.507zXZִF! B>]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\'*j>w:6CX _R)^Y6uһ!hƁfrѠ1{HH#7VwϜsRo>$\{p4Tax 1 j~8Ueaɲ)qQ[0=or%vymM--Wl ,8N"Hf=@We?c/ob5&`6ĥ(w39;Ӕէ"\}{N9^*θ0\yAX ]i,ܸ|6*Jӡ6-ֹ~˃F p蔧8akO/ H?ϱ*(q0ȥPO%ΡYN?: ό5/ٺTM΅׼v>{xP_躥w}qze*6Ԅy+\7NAVNUNXtpV[V=m1F zD˳s$"c}89<0)Z$/< ӕGJ/lx:j8t H/{ dbY DjHj z`mՆ4Z&E)4xAڜ uT+yشk>uN; hBbVGդ>3 E'2m ՛1~^T$F6jdnCxtf5,yZ İʿK¿)~RàWa $Γ$#$S!&Y0#Íw/q$Q`e( BRi&fQJR(&爀({q MŖ )F2t>ZF(S·u9zc̿VĊvb7ʦad|DJY GMGY/4vh BBD r;nptql56 k7JwVG Si޺Ldj4 rmhhe:Xڍ9\VŒZ<   Valuationy,cĶlwuBpY]d^#mj74;-A_]Qe]ٍ0l& w0Ƥ-hLռ ñgYZ7zXZִF! S ]ŗXi%6'1#2*FTtGmI _h=_4f} =CC7H!NeR'TP+4?0Ad"v[Ui Cݹf2u%>@nָ۬ E(s1J>ӕBHZNLZt@UFW7spI XjQNoV'xMV /;V6ͤ* s:d<8 PY7i!l[j]N9BƮ;xc{4d3 ylٮMbxq&q_baiaz5<Mc]Z&ʎue 0UUfлߧ8ه{D<&lmܧcMj%$\dtJ<3kO#!ږ!R+qXvXK3T;0?>LȼcAЖ:2~W^_ic@>ëv߮[O#9]k ;#66}b$}]g`9u, MʼngÜNh0I IrT1|tljЂѤ"Zqʌ&W{8X6u#0Cw!'x  ;-|juNiNΏ?ro!:Vڣɰ1G#e-={oqyJ?[!UE2k$j=kBf7Ǡ]W'ҳ ;OŲK/ӥ2N_[ gfVuܔ '+s& تM J.B=^.m\d1H.o(W1G.T<Y׼ Ǜ >L gB:R֮|*0TD6Wq c}&WaZZ7~u{`gAdo- _>35.M27Ûm$Y'C<:Yؑm#IX؝PZ?+jcvBHuP)VMMJVLf7 9P/T%@"SʷZFqð4xYl>Oehw1bs(mY7|*ZoQ>|_~j!Q^|WeZ}xD JE @şfkK Pgj[F/ٷYN%ۡNz==O܁Ttqdi H=jLk u/誟C#3M?FQf~!)z]cS|^OyitxO "'ɱx?a 8It1櫪<LXٗ:\`0|ȡ+8 ˤ.5/ :"Z1MYD:EQ})^<V~RȲdluh7B fe<'fJ"Jp ȶm.Od l~|u~n#s=crH&0RKdM/P@ydhnXؑDq?CQ 4g<G+c uqu(P/X@F][~ s/я4"4%vynVյ Lș&AN}jr>?B|QhlNlW4M!z ?{TۥUTnv0 Tl~2ٙ䋞(ŽlG:.X}imq>`3eg"064h7F ٵeg +@-BN|#FiA9wxOmt(׺lemgfP/T`@rV$2UL'A6AUY(&UsZl 9yp*-P1ۏ?Z%)T#-rv˄XZ~վjIOKr: the"#i\ igRZ݉si_(*U[{(Rt7r.ĠQܧV2+;+b:h3L/O7RBڬ|(`Ϯ~d0 bʅ*, OH>61NYu%KuO1,*"I0-Z[NH㤎 {qa]V?a4W6sޭ 7;$s+Q`~Ϫ}>\b) xS"4*\YH,bwV(sM\*~7IsVU/א}UF1 .M#fq itUfV5f+oPչB vBvDأlj73.5U;!-n͝hdZ5 $m,Ob%> SڥńlM]kH_s̫ 5n^ψ֌'*%@JdRgYZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4 a748c28e22be30233a84d8c9f5ab8712c183c405 eac6050eeb850c93f872613724be0d145bffe014 ef686537ecafbc5ea505ac88b1ccbeae6dffe213 f3348a64c921ee590f1cf858e965bb889aa0d40b238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 062139100039d2eb987dbb6da4e359b4a7dcc9fd