SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 oo9 D| ]S Decreasing-Diagrams-II:threads=4elapsed=12.539cpu=45.276gc=1.344factor=3.617zXZִF! ]ŗXf[&=.c7턞JPiƍ,r%FE<#.7 BLO" H"z4BI6w4*ӓ@EF * w̄1g08˖ǦZ8zŞ~]܀T&$)E3`rِ>Ly9[|s9U 1M?C! еTg8O [.<$uOg4 >p+w[k|g.7x#FGȸ 39S70 =sgE| %iEvHrPS983i?Z(LBAgyhƆ2)j+cN?q 0NNɋxkuTދCA|)ہŦDbQ/qihj B$m+O5..&ҙbREBtMw6 zX2 ;~ vSU O๯Y3@otCnLb7:*pYħzqRD#6nܟ9NRW*#Q3oݘv{Kh'm7#|g$,Cr@ϔ܂\OpI׮GSC\zB7<81·PP=b~u!] L=ڱNgYZ7zXZִF! x]ŗXiɟ㶵fL4i=J|92ms;ә_t6ۯ.XWG>K ,I 8+L7U0~ %cVMDY͘pG%5nVgs_P,v.kl'cDBa *,X7d;* 6ݩ^иU3ڥY*A\9R xʼn-D4&-_uW(-i|\ClT"]#'&d^I,/%*gwS3Un5Q|i$Njgf w0kt5QN*a˺4'aq3z]9U!'"{ gX\ 6XgYZ7zXZִF! _A]ŗXi%Gg} a@ڟ+L@9r_[_}x=3rw IEk2iVV`y4?^rgɸGC>@yЌ]i 3D7ieaՑ͋.Ԓ 㝟ƒSv3b`] =6ԾC"<Уf9܋&}D̝G mm ,Y0ӠhCzfHeXRR1r و'ʮ~xk W=.&K+[仰߹`s i@jan&ղ*oz@$8*.Ѧ\ϋ=wrrXpボ;bw0@t%{GE:}NRl@`W;'J,9dCC&c-XYNa. ZNVSt =tdH;=sZ%ȪpaMUxrĠECTnzhiRerUJnU:ŝKDk5-GxA[S;ݱw*-͒]]OZ'sZسSo˸&-u&"L)K']n&Eb%PiW ;\7Ϻ:Wdvо::ɫenrQ ) twx,Od3 FkRh 9 kMN}!?|M挑7`M2-Lkf{[zŐ`y`6b~9ٽ bУ_a?Ok R%V>.?r DOg SؙF./$\F0ad]K-e'ҙ |q$^qF꣕־c**S5r uM#7LH M ߭f]]vdaTecK< RYQԨ :oc %4z,/ X``e+ 5-D0=kDq >Y?}y)ʹx a F@8X :LMdœ=9} nQpUoldJ,{na r-Z^gQ)%ʍƆEtdȗ F$tviddGN᰻eF*fũ sau}Mõ1d t'X(dVȯؚR<ͯ|b}d7vO6L7:՞ҭx{DN8L'U,{>%;segD5 ¾gYZb8466c7cd7fd32e17d6dab0aefcaa5d158c13d2d1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be 3e639ebbf3e312ef5baa338404e63bebddd23314 9 Decreasing-Diagrams-II