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\< %S Valuation:threads=2elapsed=64.527cpu=100.668gc=3.356factor=1.567zXZִF! >E]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\`^ QKY <^m37[yrv4U0%Z 7lIJ8X\5݆mc(¨*}Dm8AQ %aw8(]m`ڌPAc-7{ hR D5wn7Ǭۡ"-5Z[&$~5P#gice7 >yU'{;)p媞&cQd!m>S;%(GЊ܂ h/* Px8b}ǰt8wfծ%*60]ѨҍN7Is}KQx-6ugSP q)G%=\k]lYOaʸIt Ph8 ȱ焋vr wEIX9B9K2,.tMFlEӴ/WdKj{;zȳv]>s7J1[|P!7 /!.)Pbi·”z?bO@`1iv zZ{;+   ValuationSTAA$GNrC-GXyt?pLbY( 1(Mx#H1 1|}L#J7f? Z)ⴲx8DB6)D^n}'6\ o->$s(tMFґ qTɺ"Rs)G-x | gYZ7zXZִF! Ew ]ŗXi%aZ󊾆us/h-G/3"[꧂C]E^,u\gUh7mϺ(܎MV;TRv4X ו(d}E0N 9oo6<%B©r&R<ވ3# (mb_ POlL\{gœxs>20V~Df2Q`aҖl4jL'dD[\n.,AIȉ|)WO[$1%O' u0MmM\˜^D l 'B[hJ2EU4Wo-~7f> 7jB;f{y{K͗yOQh˘(%9E=K"Yws _B5[l%Kh]J'IE7^zPQ>n ;5h@-SH. y/^+(2sP ˙hhe$; 5cPY1` o ~r2w;I{sS;˥)x<,'-T&Z<ў9D[zE O;?hö@ˏP`dnVr ykkj =Jf;;59sҔ3SG;)=V==6 ?Hܲ!#[ȏ kAZ2薎p2w͑;IV=^BiwK+$@ea~9%$os I XooLfxefsPS?"3ΠV IKdW@!s*!P+J͍Ćib$u0):ikW)U,[)辄"VV!b%M|r8yrdNB!~μE/,&# @ǿ2l6Uj|?gu Id7f6 >}+Q@8FgEI.+a =n2Di`)#)ݥy5 ;UnvK]K4:_YΞE[^v2Խ亰/b 5qLxdha{e/G LWCq""~l.e,[Y Fh fSt$tr8BQ57B='o0Wn|3nS3?5f Kپ'뚪.‰RQa/c;]h켎X5KbP,5_>[ӯ|ۙHB8e!:XI9+0?YN\7!IR*/<5ˆ#0d6i4B\slƁ>_IK1׃=lb#WΥhs,=n-3ڥg kT:*CZ3;jzQ&n!^>9z%NP6@x#YCzʹ YO荧~Yoȭ})!Pz1]V/9AIQ>';!9yڒב՞n`Q5 MA=\Sn%ch0:w)kҢ&$ &3cN& B(0O#Qwk%GԘwkN8*F6#AtR=PA͐~IWZ,tmN ,`^Iiߣ~Dk|#;ٷ#oLGZU?oK3}bxÐI֑'.*bz6O;mQ$_ڀlxɿX}ldos vX+ p~% ,돞Fu4/'E8J&8_76EyG ^A Wɏ Y\Lrw)O^ߘ[6Ad^nX5/s vmʍhuمMzQ`/t^50{q~8EH};0Zߎ+7TZqbK| 2i*b)6~G\4:zq=t߭uhT.ΐ"b3Hzroj68?)\T8Zbp_󢗜\ VtAZZ{pr /DKE},O[M~4Of׿t$le8"ޕ(w"ݨsCC~) )-W.I8Z$Ӛ ?y*4Vn",{:ZK͉>ɘގRȶ->(tڨUEk.N6]%Hb|/zK! غkǷ@.XG dy ;ȵ{L2z;O?T\C_=ػ8![2C˼d(jI#h O=$ lH>io[B b9C s ES-#S./ԓdԤ/U#eR;b3ě+]S7pmI=Pȼ[A w5Ԕoҳ6␗]LLv]DD!]ռ5 71KKu{Yͥ*QiSeћF.{C3.9t*+0zdh{bf]t긄\r.S6Оc`:Vw9\ Vcf6*@7̢9$]9 W3qgBf EZ̕Eke,@͊ /c/r ^U [~sy(ft,[4}NLl`cq')kk`QgYZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4 54abd8c9cb7bde34940ed973a59900cc7d7e836b eac6050eeb850c93f872613724be0d145bffe014 ef686537ecafbc5ea505ac88b1ccbeae6dffe213 f3348a64c921ee590f1cf858e965bb889aa0d40b735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 ef74e40a44f89c4753ba6780eaedd39520805131