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  8ODLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.817cpu=1.492gc=0.000dIZ@w_,}YZ7zXZִF! ]ŗXi%B?J8)Ɵ<nܣrAnj, $g6IU(& +VCX1"J/Q V!:,Id_ xm&TM@Sk6K{>pB{wFI#ݚʧ Cz; ె~st+ǥ\x1]I&ɤQGG%]6,nHq ^ X؁WUY; /a*ȫm DlS_9h%p?4ڠ?5&"6*2?΢M4{@5u@]@{[5:X? \&cN06f'01GRݍ3Y#J\=܌4==N2Se;W٨{O,¨h-Y7*`p ix pYxтt6rcjHشhKɶ#aǞ?$cw詋AhvZ-Gu K#7 | |0o39, |4g,S_$T?%&"b|cp;-)!xUgYZfbb878ec5a9e5c41ef4eb54026168cca78d2540999ecf617d9791e97e2694500834b58fe8bc0930e fb68b0842b63fdebe460681283f3a90a587f7212 f82c788cc91c200dde26fa1d14e388cb48b88d4a 9bdf2b77ce63bcb84477867ac753cbf7e7e41199 d8f1826610d81bc88e3551e8890b4bcf62147381 $O HOL-Nonstandard_Analysis-Examples