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  % %XOD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.662cpu=3.464gc=0.160factor=2.087zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkPy$#O^ӈ޾[W5I",( 2d,㶔y LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.777cpu=1.732gc=0.000,w_,}YZ7zXZִF! G]ŗXi%9$rjE{Ii6XHjaeRI?ֈ6D)ˈ9sz]qC 1!`sr'd5̪[fgt幛S긬=TX;ڗ8?Tkrg>bսz|M|}\1(RJ81CA{3 ?C]U,2OUK#v}A^?msl`ԋΕPq}&uoOn|BWvY2+Fv*b!pߒ3M3 |6W4E{wZ3؏3_@&h|odcK } Tqw?YC_(,a9 ꏮQU!g4<Ѱgcߧ. *:&bJ?Rh*^WPgYZa9d190aec2f5a9403d712e4a6dab382888b71d5a0d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a052341 85929f9c8e2fae459c936d0299b375445fc6a129 ccc696df3001bd972fee38677082d7d790898e20 $O HOL-Nonstandard_Analysis-Examples