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  OD< ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=3.025cpu=3.892gc=0.220factor=1.297zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke6[Y죻ϻR*#\Bw2:^bzx@qY8&ŗ@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.997cpu=1.304gc=0.000xd!2qAw_,}YZ7zXZִF! ]ŗXi%;XK@]>~ǿm\Ø_U=ZTϟ -iB+\d D 풣Y2ˍ?RT,ޠ[l쎄nιPXI8QV"8ɐzUp44r7=?,76(hKx{jF'r3F"tn^JjUS'ݨo=)mJV䴅$@ Q>B$U{9d(ռ9%j/Iek~,0k]30!4;*0:D;!t820WhVC?'՜kRՀVFQeO-P5IuM忎y1~z)9]s@U$C5\Ҝ]ܐ'ֹˁ6t$GA|nܜu<1[( ^ޜPa23o)<ň !3Ûdq9/#*ܞH ` YgYZ4a08ef2a6a5d5cfa22e28fba1f4fb8b48c4911c7848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 fad2f45fca798bbffd26499118f0c486c00b4db0 a120982657fcfd51ddb4638bca71913490527f82 $O HOL-Nonstandard_Analysis-Examples