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 GG69 $l ]S Decreasing-Diagrams-II:threads=2elapsed=21.218cpu=35.324gc=0.972factor=1.667zXZִF! L]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAj߯J I&))ݭ1(U f!basrD+EMmb+],XޓW5 Z,Eusw6 ?~S仨C..is/UbC-/1T|r XjrQ$ "{싂 z?rH $l`M}KGk!Q!eJ| sfnS_B!EN'9IXgG}Bf7jϑ9(Sse S~G_G3?[j2C☡a[«? -9A hVب\n'x%"cu&2[Ay}}ѠOMM ['5ԁqZp<1&*P04c ׎[WyL7. tTυ:"q8T%q$nƽg3:vMM }N&4"0"+󲌤>Ӌ\ z+Phbz4Z,Jhy-Q:>Waf#wVae wZH5i7YgYZ7zXZִF! m]ŗXiɟ1?ߟt;9HK?.>e7"l[mH'`h7HDi&F{:V̤TE=26`ƏA:dRP~ uÿiZZ}Ff">8'Ulp}owDܴ.ᵖ#"-DcMzHTTm-7qz!m[+Th˞& *DJx>x!跓& c~[} LSYϖ=9YhWZMb owzB|ɬ8i5bd kPSkn\j=0n ~gYZ7zXZִF! s[]ŗXi%ή++ \ I_\v ]2tDeo&wkJ\/ a I@Tൊ;er!bIg $sCtVrhaAR隯\a:RTm< X￉PCE6*]Ys //^"BNA ju e%=}>g _1Dq&3׈=Vwb(tXnb|p;@8 WHQPh@+<^XˢWqۗ&?f !.1bxKD[c0kXhQ{fM65Âj OkRr!%%h&?;;"t$p~m__:ILe5?_%,{,}׊V^6OI^{\pٓOWXk$L}s!ɐck, V\gYZd5e7f23dc455d1f79d8f9edc731384b83523c6bf00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 0c0f7b402039ea0133872268376c719c47886800 9 Decreasing-Diagrams-II