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   dOD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.849cpu=3.696gc=0.160factor=2.007zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkZ&O$y/'_$H|d/]5 qL yHEV~~@4DLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.953cpu=1.872gc=0.000^4w_,}YZ7zXZִF! ]ŗXi%92DMR@ҐCJR1[^WU@~08'!qz~.򂊸Dݡm~.-;.'\s*SùxplZs}] vs}Q CW$H@o~HDA *wN2"p=[嘾)>O>ܣT?E~ f$j2:T0"x혉DmW'e\d$L.;G)>mtm4y dIGp-O9! ѩ>j3݂ k2F}8:{ޒ'yT=$??y'N4i@QK9~SlғbfZrL9NHBՐ>.UUGE6407O2^4ES\@Q22㺱gYZ811fe55b0a825091e6775287f0639b4d916346b3341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a835 0f2d31ff53b30fffaba3b29f2347784559f79b1f 574e0434dfa9b9388430037d65ab74e5b5284f8e $O HOL-Nonstandard_Analysis-Examples