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 3 \ ]S Decreasing-Diagrams:threads=4elapsed=14.394cpu=47.220gc=0.956factor=3.287zXZִF! &=]ŗXf[&}M~f\OjjF%-[ߕ{T8 z= xMS2ڎ;cGq6ȊQ5|@`!ǗF2|(aH!?I2Z6 >FX3T` s|Z Pn`mݤ0SAt*sJAćY0VD+5_G`RW]ve{%l sGTV@%-),nķ-o`d@p}}tduz'#6dzYjM %8| I:˟"u\HZEn+%vB D("3% |[ݻCUsXy9 zꠕ4 41zwȾ<|5F!#s (k |cԁk_k 7t/aεx3ƺݲ ]8,܊2P ZVpkVeXR=iXPBw9:4f~4~?]7xm%bp 7L08>W3RҝA Jh09٠nזYr RLv1XZv-tc?(\}Y^ g.XiG`&Tǜyk abx%~rw\$mVYA&0kyr~].eIڼQfܰqȨP7~'\#F=5 X+r}1L]4"c*x2dB{sp;4ʟS${~W'iWrloIwcp6pmXYg=G>*ͫAw(d/WO Ϥ 6}l9*aɌնYvdkrhF}AFKugzd#w4xGHVcAQlxdD9i}sQdUc=7s%o[O7יwy3Y:}AI5OĮ-C٬^&翽+r[@}C9zz-Tx&C҆O aJ i.kt-׈6$B׷TRdO(rGw}sC~X3%"U[5j].^a/F'AXM7ŹzK+,z8f׻g~.A&7% \+3# C -%J Cw#?WdbL| 6z/^!*kUtdivY6' ('?H.+=Cg0up:P4#Vށ~5_Ȑ`\?VaNo[PcZ BF`@fnt:HeLm8L3f:2HaHI- I6\JفSwa?ѷLR!^߳.Jd Xv!ڸOeٜoTC+?O$Ĥ74OJ/|!d+\E?sv-JnّOJ xjp 9  0ogYZf0ae5a823af59c51a569cd7f02a8e99ff4343db99cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c 6d15f41879a9ed0eaf7a48e53fc98c4f5e6d8780 3 Decreasing-Diagrams