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 EE8= |Ld ]S HOL-Nonstandard_Analysis:threads=2elapsed=11.300cpu=21.196gc=1.080factor=1.887zXZִF! 6]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒkz4hh|j+'!-v#/C<j~D\w.ȊF/Pςy'7$AQe~슡@XB~+fI^Z҅"̐ '$?Yo&;5M"|{hWt-ϑJE||!+>W! 0=V}[h OQښ6 BH:/>A `^u 칪 {Dī\RZjn}.c7{:d9{NOC+Bnƨ28Ba+^ (5'y?А5 ӯ?Q/ YBi+WFK2I)\رRuWT07Ptlew}Hj&iT-waEYH/<oY户>c!T~ !UYk-C \TgYZ7zXZִF! H,]ŗXi%6abG[=w-k^]bE)C˲<ӘIϠPWeQczdhwʭ?'h{J/;IݑhՇ;X啊PM`%% .)!j&M rC6,dhmN`*v)\VJ3b ̀Aes^_B^w.EçYr.|SU.l>OtC+5yk~G;yc{G7,cG$ŬRoyFս-j&)gM k/iuY+ȗ-Ea;sd(!J}k21hyPdwz"ɳ:06eAC, 7JRUu&Kl]R= °<4ab|Eu~9R>pd{{dK}fxXH|}<+wYla'8]O&H$2ӫ>uI uR{S`-eˑDJgYZce8905067b4a50946a5b13dda533942b3ac8a17e71091afed7a8a197c38e4fd92b1ce9b0f5e17eea e548908dbfe907487adcfaa9280f64113ab5bbbf e309b151f883e560703ae0dee61d5fde8b66cfb0 a05023136bc45ce9fe81dd6c3494f14e86f534f3 = HOL-Nonstandard_Analysis