SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   s3  ]S Decreasing-Diagrams:threads=2elapsed=22.324cpu=38.736gc=0.908factor=1.747zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4p9!]kiaY5(1~nS 7Û1%-`M4a}򪉞 ]hCW+4=6M1)6*w^nYwM]w ,/􏰅S$tcb7uYҩ0٥H屃!_qƽ_4%J`Sʓz|,-aJȫ7e}Fsna}(Fn uQ^еS#;HAFƀ`d  L׵I~u=,J 7UL|98[P_ohDbѰ〯f\<`NW52\5 ₍k;PyQstBcVN Х&AbKnT[YxK%,gYZ7zXZִF! [K]ŗXiɟhb[@%= (]T^ѡ`ӋX=;* &D OxSwg\Uh}YZ7zXZִF! ]ŗXi%>gg2g \!j˨!,Hj7rTVG$s &Z x, 1~gTPe7)^d R@0՝z5 }p/HՑnF ""9!V|Ǹ76י*8+jR,efVU+|r6*rQmAe.3-`D"5?`bz$c v4UK`SsN5WJToQt{f9D 1U $w&jok-C>H/5s&wlM~{!^zyc|ܤ kuNSEjJbfY8E7t[x ڮ{ji U0إ+\"2ì;~Qy̴uNOQ,viFRb}0DRȬzCo '›SZE*S]h Yr:6d=*ɽzK5BT5 vJk\`Cy`F0]}u@ d*qccZ{jf> [*~G&[gR#r烅ekg:Lo~qt[- ]39%`фUi$R[v!ۛ)`|WbDv6*W|0oDV#]za t+%F"E pp$Br?\1!Qb>Ș%Z߄Am<ޮ61 23i;+@#:c0\P!|ɻ]4½è'p6j q.Ԑ%Z>MK TE^H_<{ :Ur﹟R7gqR}zˊrT%Ig]i]})Iv+B[y1JZH_MFP a\xA%~]ZQ+_ex HM!mvhnTpw?݉~җۊ--e: \ad[h;p QBӽyil9o {cAbV/:jS]CBwx\ #*Jn!Ԭ*-t値FE\}Lğwr?uq`F?\20Mx τ Wz<p7f^t^nVQL>2 {3M\4Փ>\l4E`] `sUnw?$a߀8[O8Apo9PE PgYZec9c810f225129fa1d0378c655db00e0f9389c85767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 561b40f223d76ce5a7bf612957b3c87e22e720b9 3 Decreasing-Diagrams