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  HODHC(S LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.806cpu=1.720gc=0.000ﵢײw_,}YZ7zXZִF! /]ŗXi%GZ GB7J wޮNl)+:!J޳r#P&x"ux`Lý'lȶan"R[4ãXڱT\$sV'ZV;1@E*N9ކ*U-7*%GdYWǬV>bEWeAa?f4&)<KP^oZs !^9s7҃v&$zl\+A%hs9[nYE }(aĘ  xYĪXN^C+e0 /O:mcvY zq(r~0 |['1t+Sz[Z7>|Ngt[hT=YE3m{,h+eg z`䔊YtD^c!/lYs+CjutB oR-OzlLQ?j j_g`kLS0M} Az?9mtXյ9vgYZff61626e4d7e2d9093815f0ce05bde734cfd0f61a255efa1aa457bdc2434a521272c906f02d8e87c ccab4b5307858796b5c1afaa8b061fbcb5af31a5 66718c4027f1e506ac8749ff44d7547d48c01640 1c6c1a8a28e9a9e25a52156d85af0b15e5dca2e7 ffd09efcd2c89b63c94dbe3ba1998d107a36a56a $O HOL-Nonstandard_Analysis-Examples