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=1.977cpu=4.068gc=0.172factor=2.067zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkZ(n! /IYYƟ1FsOSk۪@4U^I:WRi,wF-ugYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.930cpu=1.744gc=0.000+ɼT'dw_,}YZ7zXZִF! ]ŗXi%@^pA mI XV(h0L8R+ȇvKch(QЬ Rh~gIpqAK~]\=l)7B^A,</"w=BQ )`w1; /]4:0D 9*y-bMi]_8+g\<fn qAJ"UlO{Y@1!WJ|L\4/ qMgr}ΫMㆢfS>*=l^n߸ XhP10KyPhetEqX46#}K:1m; ^:}\KRO\TkyB~,㥑0j(50t|5 jGb:\ )B4OWO] F!,KEK?_&gYZc87980f4bfcb6020ed850866e2d24a8fb690dc36db692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026d dec87339ee5118ce60098092fcdb5a3cb9ecbdb6 5861e6aeacd558ab5a78934474ded42b0191e0cd d57208afba5748d8991727625cd8d22037844c3d $O HOL-Nonstandard_Analysis-Examples