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 ''V=r\td ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.358cpu=32.732gc=1.9127zXZִF! 2%]ŗXiɟ{@Q8) Z܈oK:kПdINVl+̡?hL&d+8_Mpwxf N6{Mo (c@>ӄϯqNc #F7;ҼxHyϟC󰱻zZUXJHun>X] [Pt@ѹȵZO )yØd_#~c.A(E AVe9e[æ%ΛlХtJ@)GZ/?TK hC އ tF'Pϔ,PE5Ba+< Jɹ,] [gYZ7zXZִF! Z+]ŗXi%L&|p~2[=t_v*{ Y* FB~v%h4Sc?.JcٸGcE Z8eq͖bJm;,jCűJ!rN]Aǥ!xt geP,yѷW&tn/HtN$8DSy(6`: ˑz_c8+jE IwhZ;j9t$?MJ2Fc]R>_a 09KPNh[TQڍOYHl/]v%F,tiM8 5n۴CF|I{0$eRBY#A]v;/TŅab s$G+*3?nj[p _ a'C7-ӭ'd2&*{ૹ>!NѲ%7&KBD"@~x}mw1 + tS%z?4sӁ+F%YKxnw>/ܬtCUgCc.H8,^XgDA'u_wFBؒZrY@lCyͪGL[nV12BLnq.l:E~RU{Æqq}bq%mwW"{uf##5%gC  PPR#M@Άq~ c0i +h~taoIy[gaf ջݓNTpe˷ P`ķ+}qU[OZM+I`_uO~ VU˱gYZ508d8bec3ee7d154135e17712049c26499d67aa21fdedf6012a4ebc6e40000ef24a132020cf3202d 6607fa2666df38d37eeb7f85fc4e19a3f5c65593 af98c444a305a9e9379f35b6e8caaee32b88667c a55fcd09591d57227fcb0be858b32d0fbe5d5177a0b30051ace68bdfc4e013757dab482990ff52fa = HOL-Nonstandard_Analysis