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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.870cpu=3.676gc=0.164factor=1.977zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk>+u3u <^5y-3)&n3IfaPl?%oAw]Z0{KFgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.896cpu=1.808gc=0.000|:Hw_,}YZ7zXZִF! ]ŗXi%96è;ƤTJ~tsؗ.8⡛܀g `t_$, ~,Z}p6;pRO*/Dcj:KJgҖ_c6vr@9g.9҇z>ԥkdIhoPIO\®- ` &Iw2E# m2jz׳3Hds+9Г7l~[\ݣkxC_tK;QOLU{gWX\vښP}j934-urqI0|[@|5|2xXMk+[ rz8SFj睳¡پ_џ47ԗ˜:iگoT?2vp "ˁ$ q/Iz@;4B!ڴرI"doRqϱ5o `gYZf6659163943ab17367d177b08b761f9ef399a1d3db03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 feca8eb19e6906919bb5f8c995f7bc97212b6f21 e2510581f72fd18323fec4567f4ecb7f5106b7eb 6dd1a589082e276036fe823c582ba553b690c124 $O HOL-Nonstandard_Analysis-Examples