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 k= |l\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.320cpu=23.504gc=0.896factor=2.827zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm~p'w:%L'@>}/%ۤ٠I=#%&VZ$j"A'E/lc*!A~=)?_q^c5f6X$B~hEj2 3UlɎ1IeOCnt^|Q[N"Ib.`IZoX,s@[ }gYZ7zXZִF! n]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>5IۡbWb?bRt{b]ψR_J%}/rW^N?QUic(t2VG]^-5}qfz?yq8?.U4?u4)u|؉2?E7k6v\+I}N۵ha/Ćcϋr:>Df˜D<c9 t1keS6fErNF5`{3 C)3֮,T35$ /L \XsNvC 8'*LH6TՀ u%^"{B8h6\*#QAˈ;n8YD@+g,ʣR>cJM /NK =w꘡uU" +Ĩ|g=% CEsa+ٿΚ_~o7tia x¹-$1į:߆Qe?H~.2=9;!TIs@[4(K ǨiRewߞ}أSZV?DSekM*֕:2]@ V#JGmS -Z6)T~l)Huui%VKdyTb6ȼD% V+R°}5[:h(}|T; 5P u^|1nbwi2"~-yr[ei:krQ|6W^ dd.ۋ-nKFG}ά3Ţ)38U#P6oBgYZ2587b4e87355c780c29609e2f7d4af38b827f32d3427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 739ba60bd97ea8539b13bf45f6216df5d171165f94c69ffee2cfce14577155a90c6460b4424d5deb = HOL-Nonstandard_Analysis