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  - -POD<| ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.790cpu=3.612gc=0.188factor=2.027zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk4c#]*q[l)GX{Uxz5臹9Q ̋=!j{?ELOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.832cpu=1.740gc=0.000[ڎw_,}YZ7zXZִF! A]ŗXi%96D맶<,vV[]Saۧ?ր[lWeN9x4"0YKj8- t\d#xԉ5 `(vS3aŊӓ?ʠ90G?$*%?Y<Vc,j{k`8`1vӹ uPzo7.8>N/2B-K$n>G 2+(?Tq-wF``cѡciAhOQz]W3_S02\˅)74c,1<*ܜsf uRad"y$(XTf+Q%r"6 ޤx-qX M P҅(ԩ%"b"ymlyȲbK`󣧰C+fn&@ BgYZ86edc2888170959794c1e0e2b0f65d9e21e411df1e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 7db0bb0deb0c950dc1abdca904e5f40182e62495 0ffdb5cc337373be33e182432061f70a4457436b 538231f6a4f908f83494956d288572f4f06a5eec $O HOL-Nonstandard_Analysis-Examples