SQLite format 3@ .  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.987cpu=4.160gc=0.172factor=2.097zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkZq}P|5yա5Hەte{ fa,mnM(LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.915cpu=1.704gc=0.000Iumw_,}YZ7zXZִF! D]ŗXi%B13;jOL,Xw7au%8l4׎~b{y PDB=zB8Ok(TN,!2#;id VR|{C˦ӏ&H63Y$׃ C’,;VaɊBΗ`@ 8DM6`Ku/"m`̸̲4 33IB;sR^_ID{Fn 7=I4FJ'=o,ѡʫ1ׄ6O)~:"Δ"AкC~hqv9&jGWǮC:sl]: 7Ad͊7$qUzilk%x t mEXo;_D.zj3_3s_w"cR[ 6gFLU>%7K X]9kV,w?)~9U XbB>6W:\x;Jr~j'̼^ekZ).}d:V]g+t ~ױgYZ7d9d9591901f1f6205acf4b34f15e7c206df9fa12de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f652 55e887fd0b0935631105aa03de079dd586c8ef95 5e288999badf74bf9f937d5ba3c5b13252033d69 54e7aab5b34eb221073d0626db7cb95da0d62685 $O HOL-Nonstandard_Analysis-Examples