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 99D9 l +S Decreasing-Diagrams-II:threads=2elapsed=28.869cpu=45.208gc=1.636factor=1.577zXZִF! y]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8D{'Iّ(R24lcܰ2BUyOqP:єc>RK([7Y;?J+M@CRo!_/U/م(u/ʲ :!˿ҍW $MSلo=dऻ^r%I1CgB=^<0)\1zZT?V; ^?zPX=\6$g3 ۃa` vۙ@٠D#ZZTT[Mú=@7KKF ꏡļ8|'+ζuC@=UL8O詽l9bVSʭY/b{%z% Ri|}3!t6I,p947 9u"ʭXgի8S[[d5*!M&Vlo>~J-gS~eWL l5_zFt Rr\{y4*?|2\w@7e-ʣ0p-qbLTiŕPuKkyӵ0z \uՌt;Od|My/JZB޸4u7e Ds$Y-~ra<&0?Ҳڢm, -G&l{g*]3W |yZ v\~PSd|6^/nx}>E@03ij2[TDxL#S7O-~|7-F%Gq#s筎gX'9I ߪLBN h&CUpv:l=KTL =4)mepN \R2:r{|ҝ_WeaV[9"y9CuD=>ΌHpŋ)z]Ӆ4V| 6`q<\[, _㛂TbzhjŹw>c7[:nn!? WƉ\-D ͱ>]+t-tZ=C"(L lt,"iֽC Q-ʙa+f-~L kB|[d*0?)ִ2'J#>96| T-j.;a8 Hb(Q|Z {q߫l &sԷ7lSꮜN#k8|mmde}ou' 7y%l"W?xc=xwO2VwO]ޚ+ոtqU#1>ɅRF3My'K)}n6IR n|c돂A5\b !vA+:"lP…z+Q~M\mZs4M^H3-[#e؂&@۵~7gVrY!B{^p9A7f󑝂Fv NLBQe!2b8o QBJGPqVE9sa:UzCk&unz2B { 6A)wNt;}YO`^'VCFӕU] t83Jw%?d2x}J[E1g{Td10L+N"O K`65u^\yr8IgKqO> ' TJuiNJWNb,y9کNY=EMq7,\s ;}|pW[Ւ֠pjw>1}l!=ԉw@ؔ)8b# sКBreqNe6Tq%A;٣gYZ0c4687a3322cf59ab7b6fa5c9418c244cd5f3d21 0fba804d67c28bcd7ee026f11ca5863180994c97 14059e988b6926e377a051639b7dddfdd1af5333 332447e84d1769254f08a2faab3c26385e9b7664 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 4f39f98c74501107feff7ca9dc7b69956e969891 5634204d7b3a8fc4754a23297e39ed38e0659817 71a02cf1a88b6183f35a2a220c2b22294341faf7 8f405996a75651f5726cf372f46e94f052fd968d 9b39b3c4931eff0aa059fe41bb2aaa87aa229e08 b36c3a11f544d2ac20c82a0c7e19f29e157d0615 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a be07e111df1d55fcc2d5292a1fd724fb0faa16f3 e9a37bda23bd443a13fc02829d2d4a5c1090ab66 fac8ec90e4f007b9008fdb809babfbfb06349f8d fbb41d0aa9e7731b95122619e8a4b9eae61c727af0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 c9404b4528a270b446269572166306b5a65bc19d 9 Decreasing-Diagrams-II