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 = tLT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.696cpu=21.856gc=0.964factor=2.847zXZִF! J4]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa &8~)i׿#[.H D:,w?Ȑ|?83ЃH`T~PrP]D13df#D#D%貑',"p=f1^z0?N"lUvfBXWa3RIusOٮEʔXR3Z m4s8}Bv#~{Df['|,?B gYZ7zXZִF! ]]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>\MVeQe)9a|A#KcXu3MB=R&fx $ =tIqqS_k(!TUj$ؗ,)qB׽̛̩9U] S?^8B_4 oXOy#*)y"o޽n[7haMnC޴W. 9F_!gΡ#]lFpp!! ؜>Vb$wvmMuV=G4f@Q& gYZ7zXZִF! (a]ŗXi%9,pD׍~x$~[ #BpSb/ӕ4{le K&L=3ʓ. t0qIGV8#)Վ6*Kz+A)>C+3YQi1#] rb} ӫdFѕ_gj‘fC΋oeHsLCU uL/V(3Tw6Pr"TbIuW0LMӃL^kl*8 E?LzbCa?-حޭ ԡXЅ%,\ڂ[b B/zݖM7uXR%~ml]c% sպ ѮҖ+~fFp<]HxkK3 Qt?(KbK?`r.֟U;SF^ļ{&<%vWo7 8`ID,+Ʋ3 a*V?G{ W [=\ HARt% 2ܬsa^w1dq_vtv=`jQEN CL#VפbڦW%A]o6b4)h`Z$n; '9-{g{4WXPGlz'2V`q1!Zl*~%ƴM