SQLite format 3@ .0:  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  @OD<\ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.723cpu=3.652gc=0.000factor=2.127zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk6H BXèN~)xG}F 2:gqw5Xu=&f54q:,]LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.798cpu=1.500gc=0.000&tǔw_,}YZ7zXZִF! ~&]ŗXi%G|2نr2 M&FZag=JW8qo qZwڇ.s)|I3в:su < hlZ5~Oʠ57/ /35Y`7}_;GyRh9< >!y'/6;dcU*E3+wsSW|L/z4siO ,^'KxYx0{;s]&=}<9>ҡL4 M d.T}.V_HeaiPr:}Gu5,QpX*TL\K4xQWd~mZPT.n l"\2:Cvn3׼[I&Ɗg31Bڄj LS1ܼSFIvE&BUt5eپk<7xJpue=tf=AIN "4?|h:Ud5*^CDŽ^bq=-A~qh/  Y_w.F,= :AgYZfbf5019c0bb6720b48eb7fef0871ef7b3f94c8226e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8 ba6c7bee358667f940c2d372ce3441f58220cef1 6cdb6136376ab21b7fe186f7bc34f22b02086986 a404ae26b9be1b085cba2d5875c0c97e713dad76 $O HOL-Nonstandard_Analysis-Examples