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 V , ]]]ZF:threads=6elapsed=12.769cpu=46.040gc=3.460factor=3.617zXZִF! ~]ŗXf1-) enȈA"tr-j. ZbNVHDݗqۜMXЅ"ov([͹,"S0&BEQ!zf4`ɤ;R!HZŦU,!g;^ADȷ ̀^+z+ak9X~M$rG>BLl[qV{[CJV>3B4[-Z)<ʤoQW jӻGuSgqIP(mk48z2 #> 8Me;=)^v:N"˦D`sMzN,:E]C)>/*\=&T+E09Nm%5u'bj- 6)qV-)F+ ]NjDH!J_x1Ҝ Μ9X6qʏ$l炩hN/p6&NM 6JSwOm" TwT5t:v>̞#5rx) qcvZ F=u.Zi@~ސ?m1"SxtdxL gYZ7zXZִF! <]ŗXiɟ 1FE`穵1AErCΗԺeݷCxW3IEcfS4]Z&Rx$5|ERpG\9[siiZb˫랿i SeΥ knK;Cq>SӄQL+z\=&J՝ mǹet`u0vqBNt#d!qxO ||/E97:yq0PI_--WaBE]bI͗ =vWd6T.>tݚ |D 8bJ*^9M"`*IM,O`V! :uAMgE 56ny̳y;gUHa fs\%!;be쫬\Ono.\:шCTx*@y% QGYc+Y*V{wɃwRZNk΄pH僓}}=YIiZh~04nmk0qq8:,?xj+wjt"N^ݕDY1W%HHّ;X僧gYZ7zXZִF! >]ŗXi%@hYRzz?8Qgq`}q3_:Tx"4] V%3Ҭ1PSڧ(( |G"TWڷ/ᇜ*Oig=j.3*n(GE~ZQyn.@]0-U(բN[.4|ukT8F9*k6K# dc9fPlpWܦK/f{- oퟸ])9겜/X e5#m )_?Ͽ|3 YREsuk2Y|E:㵆. 'w9\mkC*zs(rmLeq7ΣAA<2m%X?@W Pn3)dfyʆꁫQcM|K8+[جȲ;W&$i֑tZWClaffTnAhx y>f5mJb{zwC> §oDfH,@-(?iC'֖݆FMxTۗYJ닂Q0%T^K $7/R