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=2elapsed=22.514cpu=37.920gc=0.892factor=1.687zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4jE{ZQ?1`ؖ 2֒=06#j ;X.0IvԆL<&,_}@;FJ}¾oIILhH`y>X)Ph D2φw$q "8# {v{D1úgw7@Cɟ&TkT̊%a~8!V- CO3o鲭Fy>ؔb%PoO?R$G3u1VtJ{=VpܡP=sb|> B| وTtM33ǬP5qG( HT7#Ԇc wNpFRfiI\)lB{% RuVl: sym,6T+p9;z]"frAj;G2+X A3gYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`ӦLqbtEpjV?v$]h\[I}YZ7zXZִF! ]ŗXi%>gJ⁴*>Й*.U?ZՑPMa~0eM=_?:uCt"<=% /Y9!K0R UfZ1 Ģ  kM*O/?Txد)GS+E{?O4?RDxRTD5ksY]4(gτ; i¥ދ<7w\b)b*:4fVy+14j\sUA5-#S²CJD;N'<,nvfz^Iڥj]ol:1U]ө&W;ONd^ -vIִQY%x^ӟm1!',rhw􁌀zwMJ]6y@D{ۅˍdlR#/@gb0#t QoB$SWgu"@{:Xg.{Ri#& (B42qI@e+ ۟I.G }P|/XUDͣt`&6"h% f7.pITuy+V H4#?ա/l{)i2C4d&E I{T[Հ/<8< V'8!,WE5} 4iqr}kc'ilvW{'pZ{^c)wPwd9ΐ)E0;V&H3O3FO6]a_辣9ڞ^<4 $/3_8Џ#c * Ԣ07 O#'C[ț_m|i&lztb|@^^`0LuA= `dNm2,փ`#g8X&g!qY7tץʨJxݬTU;O,(A?sͮdj[,8IAs,UPiE /`w%L}3\.C5qϽ.R >>?aOoqf |8 :˴-_e!qpM緀)o:c_Fh5GBZ65 xgab cgYZ0da0ffdf8d0355b588656b10d0721f0d5b5742d8665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 2b0ce4226c02e5cab6bf000937a25bdcad9a1588 3 Decreasing-Diagrams