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  ) )TOD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.930cpu=3.880gc=0.176factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkAR\*_A1? Ocs諑iBlI*ClWVR8^2ǁ*kLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.944cpu=1.920gc=0.000$` H$dw_,}YZ7zXZִF! G]ŗXi%9,}yV;-W˔mҮE .j̱|Oׅ1fU VbJP!ZZ d7^WsTU4ژ߂COt˰d7 = @REC-cu>>0]~8 Ire8,z;zN,oVC_<# m13PO%).ÚH,Sѹupq9IUkXX[ ճ"mbwsֹ9TԆ&YQěe-sɌX_T;qvYWJF]@-9l-hP+RV'kp9)݅Jy>#c5<8$* *=\QUѰ iPp^=t$ֱgYZ6575086ce3d12682147db21722fc36f0d9e4e1056c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538 18a3c5dbdec0ec1e741fccb19894f5e73590adf0 aac63c5e28d6448afdc0a9674b43cc1004bd1316 86b5f9de1565540c352cdad186592d49446e029f $O HOL-Nonstandard_Analysis-Examples