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   |OD5 z5x̛kR"Ỉ'&~KFgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=1.115cpu=2.116gc=0.000(2}w_,}YZ7zXZִF! ]ŗXi%;Ѷi;tNFKb ^ 2pnWc S}kI6%q I!#8.y% u!(jQ-wof c~Gn‹x5s1B&BuG;SF3@oJ.5zf_mtʤzJFY6tΖ* Cl"@&~n 4v Y*5.TXf樀xW?΢Jų߉Bfc,TH`$:iΏ`c[gX/EQf1qIh0ʥXh4ʨq[IG@̐p L֍|d(A *ފpsb% !ނ uPsMYHkʗlhuⴏS+i|M4nW%|)2$m$DqgYZ5e2a66a801b4df5ad7208be37571e705a2ac7ce8c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb 4a475efb7075f8100be1664cda4b4634574013fa 42782a6f0b6357843242dbe6ce35cf6575008d95 e7a79ef7221eacfe2c4b0fc50b35bb62808c7c54 231f7dfd9bc24eb7fb3b9e449edf610c1c677b68 $O HOL-Nonstandard_Analysis-Examples