SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  OD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.769cpu=3.664gc=0.000factor=2.077zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk4^h7Rt8xؐJ< q$=8śnpJj4f-(L5LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.781cpu=1.480gc=0.000Ļ\(w_,}YZ7zXZִF! ]ŗXi%Gx揯=MҢ֋ɀ)>l2Kߨ>}c0#z:-wfJ s>H;kWx&Q1M. qgǝvΔ*p\2,L VpzG:bHqܻC3t=6p#i&{8X to(A۷8,~WT@pgkiu0$F\Z\y;==V@yRr͇s*uu9)ijn/ybb%pN_= dvoT ! [L b4B+`dE%H7,j0_T}q:XÔ j(b3!q~=8Pde`!,lH&CC=~1٪(l5#,@> g=ц`>Qj(<2yRXi*3)XZcAje2N=l!gYZ2913cb22b2a03847d1293e3ec0500a1b1a86b5a68a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d 49cdfb4a7f6e982b095373f190b19532427844c8 0204e6f779ee7d81163b76e9291e023f2312cea9 6b0fa7293f1fdbf68063a1e4e4f1c1b3786084f3 $O HOL-Nonstandard_Analysis-Examples