SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  0OD /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.967cpu=3.936gc=0.156factor=2.007zXZִF! Z]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke<_LVQSZpaxj#uk$/I۸@oc+pVTL>L2s1mI%^va@,\Ol9뒝BP@Сv6KYXibEQcwg]?8T͆qᔚuNTNݱ ROr: x~}L5v]-ӈ he[~k܁(% }xd*gYZ7zXZִF! ]ŗXi%ïsb<\\F&]6ZoZrŶ9~-j679A rrb{w j&q D?Jf{?!&+ErяykMPS!39et e,wrju'r;a0o1> \.3sI7_0+^zWz_G587\zw-LTaHUaݰ"ʺzQ Il%"OSh*CG>} *7:6 }]4 Gԛv1Ͳ$k=V.7 `pꔲ1@.Êh z$ȣtA]HHO|BMYhT y3vLV)nu#p)wӥz.:/QM϶v_0"攩[G+Iidci["]gYZ15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651a56ee4fe6fd72e6d5d73a9cf689ea63e99dd133f b46c7c945570a6e1e52b36230ea76c5031e8a99f e578815caa6d7a10f008280b297fd5dfec15ebad 470b62d9326a16cc6e35ea5621720f2c7f9c1976 a73b4e3134163f54559b3333c3d85446f9950388 $O HOL-Nonstandard_Analysis-Examples