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 C= DT\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.300cpu=23.648gc=1.172factor=2.857zXZִF! {Y]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa m3eD=IvmB)wNsrr¨=\K f<6.7J=mg)|ɉVraEk^$S.Ua@>h O_I=LraAon;>SSb2V]PqRyLQC_$cBU!Kh .ƋODiO q\h'z E $A2$$Zo@tP BaDUGj :^Ew?D¸ u4'2!A8E 7:Pv# KgYZ7zXZִF! (g]ŗXi%;75/Amp*xV#?j P)VgCNXЍ`5X-02oҰwG1hrxtJZ8TCzAQB<JͦмL\@_.LTa1x3]sVčĖ3jV~ML7=8uw/^˽8:m{P\4^Ia.t ڋyGݿ.9yѶPoW>B tV+k[lj\`0.f &( \o)}sKvS[sM|E5jljp=2,OC 8I# Μ Jq+4_Zӷmd0%3F(F$so0uƆTM&!ߊ±gYZ41bc7beed03e3fe8d9e0eb2c01b9812f06b3dd8b10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffe f35c87b3fbb1057034e9cc403f83990111618881a6015a4e06d0140fcfc504d98b0811c9895cdb80 = HOL-Nonstandard_Analysis