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 //N9 $lL ]S Decreasing-Diagrams-II:threads=2elapsed=20.978cpu=34.856gc=1.152factor=1.667zXZִF! K]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p e#e4-#Ki}f?2|KX*npQWA#nk[f)ӆ+c(֌S0ESVyLo`68"d*D"Y@]V=7g3t%4\:a |m䵟aU u79I_Z5Ji7pàE##glxxpu y簮mwDNS"cWY~$ lGl$"S&1[3&Sg6"8ל4yu?-^oRi%s?4O桸92/ӧC庡Nr _`nUtHx3x~޻wyI ]!oԏ#w@)ӃFԚ;0<$^spk̯|)"Z]J=RkFDM28|kna/A2)2&f'oX\UZbCwvVS'hf| @\)F^ٷ UKxQw[ /=J M!GVXvlc EeU^8{.'w18Uѷ% %HgV*kI KQ8 דҾzxk> &Ww*ek @ҷ04 lS[atX/~= so1b*tlj$H'DC|SB7T=gYZ7zXZִF! m]ŗXiɟ1?ߟt;9HK?.>e7" Ӹ+_9כØ*`p7?=D$}`0KM< SJydp  ކ?񄭔re/&G,nT ɶ8*y۝.>ha! ohMٶޕ\h%o3@09')rӻcgio6ڻ):Ut5< <ɖK.V /BLp^;U >H} ~gYZ7zXZִF! sX]ŗXi%;*%ÛwU{+Nx[$NxFL '/7!ژ{B3 $j7jN>?ycof?v\!Iۜ蹴;/m-G}VkZݔ6Ao+l_JHmD17,,X<%tM u@!G~!MT[2V F˾7}8-پN$L-9R 1721+ōQ3Oi0%>\~{7s)L woÛg' @ށ H洣GFo\ O_DmUv(M 18FdsPhY Dd#^q-`f>jA> ӈW(+"ÞT\"n gXr&$57Fg)G&&yQ5Ja%1qߦQ3ieE$'"-ٳNzfn߷Kn)˼nRhQ˜˪ȃ<'HQ՚BgѶY(Ѡ>zR