SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ff+ 9C~TopfpO~GsȷiEװ4'] ];8?%QрQ2d>!|isKx>Tv@D;t>BVu'bB0ڢzS/"`߆yԀq! T GPY@t8%`q O`}S8Q^b]KX:8;9(: b/9PP29KetBXkLbqǟi/(,HsgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs]^%vuiRր+p7fa|kS)0W߳p\nAρ@.r%q*Y?I$>>>Fzoc4' Im4݅ z"uN=SŋU[ߢs๽QRbYtjwSEé}aj aS<+ /w5NgYZ7zXZִF! a']ŗXi%L SDьҋb7]Q,s<aW/uvvyNY 1c~l$!/gE#a­Y<`мJ0\V@[?RwI b2/@#;$WuClT)ዹO.Q֠!2IwzlFˏ&XPt41Upٵo zB ZA=;yK4j0TbvSD5]ZR\{wV`x~YRߕA^+b֭80+uQGXo%eV2P%İ/<*ͭߝtl%Xg'oGc: <#sڭ5<6">THxJBIq"yT"yxX@Ք`;}Án#6{"or7Z.l}}^f1d;@{LN,u#et.PA[o%KҮ쿜o$pJEg&ͮn-$9|SC~kj$F#DSȶQh̸K_ǚ?R~9m.{Ji$}nqzʝD\Kز3u4n%O_͑oBa ߊa[ɕ.wA2gY_똛@,Z4!xxʢ۷0 myWqQ1%$"2p\M5o&bQ_4kr7I̅ [C6@Th#fхYQO;5/RA'AhrޔMyz&Y(v`wwLTiZe t4I&|}b2vi,`*iw\1p1IƖ5S@+H^®r6G% ZԾ7kIJ}mRbzsf D]ᥪ0nz. gx 芿p;ȱ"@h^H)s$."K#z.rx7wxLZXgNÕwp).cFﮗJAY^8 xo"+돹aǍ#tGWrf8A n " #@wg>\6 , :Dd`9/hJlP(v'ìRѻ)f$\ep Q3~ '%7BlG!h/B|Gf_mpRSt#,(#vyzWc0܆vX)G&L 2qV_Z@!3l17\ZCU;Qn-&C'}joRTK_{ θ A.^l $l&rMUD"^{gqyiԺLQg0;GsmeRM6p͟DQ,-vZGbQ~ϪWfe"C$/D^L_xhLg?ѩ:l!!2c