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   xODɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.838cpu=1.804gc=0.000lUzw_,}YZ7zXZִF! ]ŗXi%9#.FD.0>{LhBGPy0_v9Nklj 3QP{~?'/Zs6@ q%|f^9N,|N3Xd0Iý嵒PW4oԩ%#)Vq8&.!QFa('ntz8|Qo"#TMJߗ?zeQ:rZΣ4p y'+pLsMiAsrvEcTLӡfz8`A{-)N8SVcfHhJ(3}Wd?CYն% hZJY6LCmaǮj͡Wɔ{#EStG~>5 $?7]k1Qm3»w>a<7ᡘyYRlFH[])/gHӵG<'yswr*3OgYZ8e146a994a9c650fc47edd8ad1d50fed446c49f5357008b0b2682019b352f15558029e5fdc78e3cf 6ed366e7eed5721240602f54453f44d2f0e04ea4 52f61a365cdb0bcf46a3239eb16f67f805f07d53 709acc9b80d0e925f958673fd5a478c266c3c20b 1f119155c1f21cededc50a16ec477355407e7485 $O HOL-Nonstandard_Analysis-Examples