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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.820cpu=3.644gc=0.156factor=2.007zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk,@FNM\hJ_0<=IR쬆Ty8 Y \!sdLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.829cpu=1.744gc=0.000 Pw_,}YZ7zXZִF! ]ŗXi%9Z:I Phg vr1F̚41 #vK:c(_*;2I篣. 4! ];Q]j'6>n nIkSg ܌?}<W(=Q@ W0xV'&jCG4olzRןW+dĞϹKkd9m^y@ C2ˊs#[?$)wN kT(q.At-,"M贶:K6hMo'dV!Пƚ|][b_]E0pTQ{%vQOj' K=mǷK/2v;)3j3ùd 9R¡*?f@\ .bxDФFh 28ɭbGǢGUK<?&/5gYZ45f9d87dff34433b4ef5ae452d029b463a336f9051dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b003 b41ec274bc61c862132dfae481310df562a5aace 29edd4931114e2eba4c640d274cb90540e73aaa4 $O HOL-Nonstandard_Analysis-Examples