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 = \T\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.001cpu=22.532gc=1.136factor=2.827zXZִF! (]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa(ʱnTA A~VV.|_csH3Xtpڷ\k&Pͪ(Z6M}>9OJrTFEX\=>: .mlJNogx멆O?B3Yyţ~d)HH[3AR1-TH\¿ehsR;RZ ggYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v Es+{ WEb8$xؐ?.(4鮤;Ft`hwuVdǐ} + 0iXX#[:r6nBB7W^eK+yv0#"gl W/c *9 Qӄ C1XΟ6ÂQC$k0jӭ@DPfVa1$jkF1 S&-頹 1OnadF#ݦ buQ#o{+£`e$a}'yw.Ÿ QgYZ7zXZִF! ( e]ŗXi%92(1".ރ&(kWA|3 X 'A)~3=iEgky䋺D8Aؿb;]RL|2W{ FdV+a'Մ碢Լ^%֙ 0_Xqyap݊\pTXe|mJ1l#2 K:rxM.enѐ]/B(*R͛/(:_ћc Ieqܖ+- s+" o jM>]JxOxN/{~j3 ьSkI|-i\}d!H?Q-]p6A1 UM$[A%}}ZfA95s`!pgŝ._ac={:cIT&%LGԚuI`>dSL\a㜚[v sPrO2ig(MP8nO?UU/jTʇ)w%L-sT (΃ &ӸYxS?ND=)t+ {ǧ~E=jl]LEKlsW)-XP_JgYZ064cf13ded47425ecc70e21927accaae972841e2bdf52547a2d1ec5238d42ba24f34b6bd872981ed 01b1e75e676722d36b9f9cab162375221e47186f c128e8d6815c9d720565eaaf5a73133942d71ee7 e36ad7716b9aa538926a95651d819afbcebfcf06372bac3c4b5c60a012f88b551982b662938d967b = HOL-Nonstandard_Analysis