SQLite format 3@ . BBh77otableisabelle_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   |O<<\ ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=2.736cpu=3.368gc=0.168factor=1.237zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk`fN[lW<XX'[9TR ΪG]JC xgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.929cpu=1.096gc=0.000J ^w_,}YZ7zXZִF! ]ŗXi%;``Eٹ&9k%4dKgX ִq(bNWZx ksXI+:<jeA;\Ds^OYEx _nMc8((ŀ^=jo>5m;WN`Vӛ=R 7ܴSؿd-q3O ُު,g$Y.`FU7bYSgGSAJ F#@,?bK,X$qq >9՚kDy5? >F'瀒>/.(?!kAu$*تnl76J-J<α4B¯C_Es(_Ə6zv6ڶt{xb췄yD=OS~MܠБy,n uA!ggYZa03a1239a26581eae43b94c6ffa2b2ba88f2144c87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa a3cd75fa2f445303fecfd31876e09edc3d66ce8b 6dad939260a2eae4be241cd748a8c1201e561910 2d45f5369e7d5633f15dbcc7dc62fc53a58669bd $O HOL-Nonstandard_Analysis-Examples