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   xOL뗭l vHX&I,9@#Ʈe'$P9oKamk!`2[Ζ* dr}H /r9لSv5hrzZ??)E3}ۗR%QܚBq f634~@.(4b[G*~J*vI >EgL ?tCga$eU"Ͱʠk\ }WWWHɣ(N*Zv5QqX]}ae"@ H5f"e9A J S?NfmZ##S ?E lͬuy|ey&"nw:$&u(6?AZI7]KZ~QzoYgYZ8fe2836568fdc9f33f8f39e7c4c443b568124142047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 055da0440916fe08346a30595e3a9f318b9f41a4 0e71ac14a900d86d882179fa46a76581ff8c81d0 $O HOL-Nonstandard_Analysis-Examples