SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 73 d4 ]S Decreasing-Diagrams:threads=2elapsed=20.839cpu=36.364gc=0.992factor=1.747zXZִF! l]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4u3 #m|HI'1I 7m>B.r#q}v@1__ DžbI0)Ou9҇.&DZݏ`4CÐL.̦ ϜP U&E&l0TG i| 3{䠳T1I:bbWeR 0ooq ž'GDCoQ١C7J7OP5p\ gN,s#  ^IJU+A8WY`V\*x6lt.׍Wb4khyA691ShQD%g:gXoh~ $o׵c&x,j;`ժoYe%1dOl Bgdz9m{P6ܐtYR^Ry C6r,*4.+3FˍS\OsN6lw;$ފ2 |6gQBFMqŇgSg vV.&8˒aUDZ9bޗ2Zrn3Kj69MgK! , d& {TA.͟![Yㆅ抻/ ${ȖH>R'P(TBt ɨ'FƑU:Fӆ*DtW"=y0(ãrJ_lYML/B%ґ5i[7/FJtd 0ĢXi;t}UQ˴{-ǸŞ?ݛ*M5t` oiW |L5l"Z ԓ"OI\Rpѷ-=p=l[n g܂-?3CD&Iz*T)Y75XR@bϨYrqqt§ tQ45/{[OSb&y1@C5eo1&^垬=3=[JGVu B'2*֜g6BJspX܂^N7URE\_i'VG ?W0s4_&54R^N!pTId*vlRT&2jUw_5%P"Α>A%nK,t%l7D^!fɕ#fom4|q#GTsk?-ט+.{rصhuo"ҜB:g<'^(4MV-&?$nh1e\`dXA#Cl)6UJ0uQB}=hSӑ+X~ '0f6st{Req&A&dc򘬜?*gSy/#txF4SJ*xBxL 8n]e{%K[|t?ڏ. &٥[{: 'օf^af X%[wzXQ;}#eef(M C(gYZf52b439b6b4d46d83a14245955f422df1e1f10f500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 0c0f7b402039ea0133872268376c719c47886800 3 Decreasing-Diagrams