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  d\t ] ZF-UNITY:threads=6elapsed=5.743cpu=30.216gc=1.264factor=5.267zXZִF! C]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b #^@T h(}zpৗ|~.IvvhǧЮ{m9xKނeS;?Zh>t3W^PP&V :W6#Z]4Į)70}YBA㕰=ҪT&,[/W|KWfEI+hGX yI-mbKfզ5 QVӶ(7rHd,[AȜ `9$Z, 84~Jrծ;Y^G Vt$RseNHRo:ZM$'G8& gYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP76V}逵նƆ|#ق= ߬ŦTa뗯6JwVAFМЄ.b51(gr T> sp1@boTVt/إ#tj| Z.9,E~)ly9AT#A37!^RjY@,ԕyO{UHV'kKnQ5L <{PJGt4۱=}рZ%=0Tmh/yk^;A6y?/2x=|%@]X(" qT,`t Qy.qf(0ah&Tp7 C1gYZ7zXZִF!  1]ŗXi%>ZyAי<%3#_ش yCHS Ag{G8gCHWP˲zA5_G^{Ƣ_ }0sl&u[t{f$h ]#p;稜Ŗ2Ya_)t5/^0_c[uv]~)4>%KQ`+ʞTJ%^nlʀ_ٕw-hM>WD:Ҽ7z +) Z9ô9Ey=EH| ;um)D6/.Uds\/:rUe$Gva0n?%J:ڌ7o)ncg|D)ςNzX]u'[b _cѲ _ޔQ) ۄj]!?i55(`so }xYqJ?SHWu"c-.ӊ2N99k.hY]Y_8'B^q~F jcآx(qcVi&=#ޡo1bh=1x&ׂL3AJ%9cLUPBl8lʇ5kICB䷚9G4j*kn 󮰤bL،Dx2LgLORƛS2׾+IKnR TnRV [ l/fJSuaK pVtAkG3no$1'Q踚NkJyxڒ -MuEl<pM ƅ52?Dy`xAŠw:"ױgYZ81c4e7e1cabea9f5ba242a4bab9b371cf5195ebc04cbdab1f686d7eea03656c087fb6cb51858d69d 0b2ba916df2706814c8f6553c6756a48ce626261 d3c1a46be5172196595fedb963b6e82a5ccde5aa   ZF-UNITY