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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.036cpu=4.176gc=0.220factor=2.057zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkZ  賶)?d2JOW$ySdَlڿ`0ڻ ){`#@hWLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.918cpu=1.704gc=0.000iw_,}YZ7zXZִF! ]ŗXi%@j!VXI}CbJD$hXJ?S?us c0Z#dl'@(LF >p9Jv WDQ|EWUo*5?}/9R>~F aÐ1 Gi(Z?%@ta@w{sLWne2~݅=z\ȋB˜N##0+\e) O.d\L9Xvj{NJzZy3L<;jO4w0Jv*el;=nЁ 6x=d3e2ѯ#yЫ\# $S3|7J^97J؀P* 0K\Oj d)5D;nO(LaX $EHW:>QY1^^9ODgYZ7ed5ffd44e4299ad8e973bfddfd5b1ced6340eb576ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec a32d043d7a78df09e2684446989c171f61b5b8c1 59273d16072f8afba7def3c47a660b4f542380a7 96bebf7ac8c0ce586a57fc0c2d6382c27d8e1dd8 a214f87a07374a09d2e2fc0453f3f711927e8bc9 $O HOL-Nonstandard_Analysis-Examples