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 L9 dl ]S Decreasing-Diagrams-II:threads=2elapsed=28.610cpu=44.484gc=1.648factor=1.557zXZִF! j]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8D{ɽF a%1\Z_ 08w<.N"'toz)TyuQV駸wM2[QxjYd\O֎,c 7dŗ:wqQǤ+ hg%6_-.<*<@Yٗ?˗L;c\^%vݜ;B(y`w\Jx;j0"UDRER9Ə$]x~iՕgi)J]. d1b ]{//<0 U#vL&`AXL[R;o: NiٰǙJ!׹XIX@-?vm7$vgD o3;$|fL.;H(zV=ՀI W7fBpх4M"鸻ҾZf4'zXpi6^\#m3ZPQIg`7dZ/$z ֮> L5he_!qiA- QR43ӯ5V:3!3k?bjXN\5Ν!}L=ڔtoOEjhq0!tԾ|&~Yvi@e dsnFɟ*φ5-)g%/nA2 BD $ {O+B(nr"nV%J_jQ;lgYZ7zXZִF! -]ŗXi%6At}m!%>(lҺe?\ 劸cڋn`oGj}du;S~DAC  /*{^r3)k} U[M{S$$f`;Z9[V tcAeQ!gȭ~ oͲ.W6]Z;#?G3lzU ,Z9lR?M;mp#9ȦweZ^Q8@NLҝmg-Qڍ-S-,n&Pm`_I#עLE)J1֟s$T&#Y2kW^<5ItzEuw2Z4⏭F9Duzm\'ƃ/1X:~TP@ie;~{\&L0bQ,]=*MkQXP23`=ݮI 50%\E"=NaKw@R'ffN^P39x rkROPЧFoÑ ngL qz_/= 6+l*ѿqxY: R,MõJ0<+W[gw [=vnʆ;\w99<b$3'9<3{YZfo&5Lh#Ts;_ΤR͐evTLT{}˸aE{拊x{d!D_r,C2z) Ecru sdKH"6g Z 唖=T( 6ugYZ12c5311d90e457f11ac127e28490df2de243e69ee003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 b11608f1c895e00cebfc586d33b531465e7353e7 9 Decreasing-Diagrams-II