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 VV'= |\d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.715cpu=26.256gc=1.436factor=3.407zXZִF! Cw]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLAdd&~BX4t05Iۢv[=%b1|]B]=]wL/7o(h]d1_rx&Rb%+%.KbA8A]聟=GB?OԤ[9d _#᥻ɤbjy]XSֳ;fM/Ɛ?/څXI@=-]=WQKs>tyMp[8.6+% uo%!>"I%4N`x4 HPd(Io7yOA u ۲ڥVA @QEMgYZ7zXZִF! &]ŗXi%> &SէI?ZE$wv+dp^J@MКFWp`1{ȰT qG'XWx#3$)DKЁu4ӈyPloӤ%nD\V_618r-"d)CƯ1G[g++3{5ћ>IN!);FghtGDUjg# 4b_ݾ׽ XZm+[W<IdR_M2gYZ7a8bcafc1af385be3ae17cea25b78217579e2359542cb8bf72c64bf17ee67b940a85e2465d851528 06cb9253274f1cacab108d3a867c2a08aa7fe5fc 298f1d24894815e1615775e30865add7154b0054 0ce1bb6f013d73956212e84e9e9030912a4af0b61023d06349dacb8f8e2375473b6409747d9508fe = HOL-Nonstandard_Analysis