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=6elapsed=1.835cpu=3.668gc=0.188factor=2.007zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk>4oH@FNP!BZ~V 5(bر3'{dy\ʼJ9Tν`] 7~LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.900cpu=1.812gc=0.000H`5w_,}YZ7zXZִF! ]ŗXi%;wsS{.%\~+wϒocL=ճ ,3gz\p#+' iPX @'IR݁ 83DV!}PH hb%zv+jE|ΐCЛ>,i~.^m})G{y[8EJ;\hHxgZ"0lX]* faPcOh\!ONX#q8'B;jq H$"D4骣V Nh Jy jq͊7QyM 煿5ΰَ֒#NW|b5QP杨˩ )  hː[̳–'a{wUٹ,cfS< ӌ##DMo<]ä{FtZ 88O;&_B/ʉa*qM@qq9? !t~i*