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.777cpu=3.480gc=0.140factor=1.257zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk[_MYAӵ zH񜒿J݉$vJ16&gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.907cpu=1.160gc=0.000p9=w_,}YZ7zXZִF! ']ŗXi%;iV) Jcxm搯i+Mxy4-vkF;F9mK`)a{#l^MU0Pv)ɞ8f!'KȰ[|XƠH2,m3@@% ֧+ڳ oVz xK&LJފ%/jNyP17~/LHH{]Vu.Pb0!ztȘ[V&6n* lt)^KcC[GAWrbdaӧq®WX8x=ƕrٯR&uNbAZ\-sME oD>?i٬ 9rwgYZ4a08ef2a6a5d5cfa22e28fba1f4fb8b48c4911c7634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e 45a13ea1bbae58fc22e2f70d474ab43e73dbcecb 3a80886f3d8b6e285b427e95fce849973efb38fe $O HOL-Nonstandard_Analysis-Examples