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 II49 < +S Decreasing-Diagrams-II:threads=2elapsed=28.702cpu=44.944gc=1.648factor=1.577zXZִF! ]ŗXf1-/6vR[U G<%tA)A|D)hٳ}np ,ߠܠEW-0BspFj΀ ߰)b=Q(rJ;۹u 8{ uª/)O0x._v<-d60/S4%x~*t(P`Lh::STm!]=\'*8sͥmk!Pfp=%M &EE*gu4u׶|;9L<,0;t/* 1iq_JPP~!<`g[F.D ]s4]wթX=P7;H~:2r;rJY% + :20iHW]r*5&Iʊ4~ &*R<˛< 7W ! @Ј)ܘםj*s3bKovW2$fY[.@:yݱJ#I >>y]ٞ '= /{{ }I/'q>TUW V?\&緩]Aڼ=U=gYZ7zXZִF! ,]ŗXi%6y4Gث4~y2݈qVʉx+k6u`To$Ǣ }$)2Hj) ȣM[C5d,h, Q0&J0fmi(ey/n ,LJpCet&9m#NYrf˹6OgK>my^Tq4}^Vc!NVT ^ 6wFwbWբmH(VJ,B ovʆ0DuC額L-FPi7qqd#$|['άFn$;HcmUkٔ1`GF zg-X[,JSLa(HwF4TnG $J/m xْsvE=i߉n&Ssr9d6QsM-;+zB^%~_ aG}L(41U&R 3‰}\hvr;$:UՈlfއd  w³Z%y[[ZK(PTnY rR(7)|<K+4,5/b4D'os`76EU{xC]vTS0w2noyXۭ5`Z6T=؈t' <:s6ŞtIY)A2jgYlsCIU3l=Bk6KC]խqY͖c{%h] OL$jѻ:G+淐5IIī+KHSFPꡲyu*j?B*ȎC( fWe^`iiAi/TMޮ~GeA]xl?evEjl&D֙HD.r7 jmrLO !#uH[2ḥRdc`r6C}'YR?Z ~{>|E.b)tvGphA#MjAC)/K-0z ЉfED@5ƂcL#7֘Bq&J1֓ǩOS;]+'=5'?c ^ P6naC',,}dMj2?Gy{b5VyG;$^0T9kD.~$|;  ̫ոϳ9d`+liggYZ13f9c082e5c2280b53542c2963df57f7b6ee62d8 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 71a02cf1a88b6183f35a2a220c2b22294341faf7 7681561d8ea3216a64479cb204342b70316e8c6f 8f405996a75651f5726cf372f46e94f052fd968d 97081961e2208fbd4451328f9c4143bdf6496a99 9b39b3c4931eff0aa059fe41bb2aaa87aa229e08 b36c3a11f544d2ac20c82a0c7e19f29e157d0615 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 d8b591c052c85b1671e1d7822571568590dc3e35 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d fbb41d0aa9e7731b95122619e8a4b9eae61c727a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a bc0749a4f96de53e4d56260de41318a1871837d0 9 Decreasing-Diagrams-II