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 {= <\L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.394cpu=25.204gc=1.088factor=2.687zXZִF! U]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.`6~9~;YBl 6kbaiRqK>A`xdd=Ճ{`p6]b>ד_R0aM]JVCD{hFQ}vd ,{Av$%\9? %sDz6;Tn;M/Z0O )3_R@Qm4fYҌtWYy*/yL|[f\lRNM$^ΰe+gYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8}+A9/*P>ԎXTM %s߁K?fNơ|FFF-*sh03UE,iepֺft-͢1a|}BY+Ύ밳v8NYXd1eEhuد/} $?ŷH#} Lxq$6X ;L7&t,UV١7-@hQҺ1߇ WTRՉh _̹@3Y-[P_nDzy ]gYZ7zXZִF! / ]ŗXi%90>JYZv85(Y˺nh#0#=EA2]Ӂa~M10P>L.O?vseR׮6+ =(LgO`wǜps&w~0Ʌg/יꄲцP,+_?.;iXuYB%7Oo~Sـ$z[]oE(ZJS 3L#t2TA0Z%%nl+OJ%!aKVIo}U/h?#9IcOқr\[Qe|2I]cPM wC`T]qqS1mGiWnOkʞ|Hݡ2RuQ:5&;Cy/A/ ae J(~C%w y"[ڎm^d M BÈu\7@54-͐Ɉ5%%W4e10çe!nfΡk^>;.SEf3ōfCMYӕzjw{@~ %̷~+B1Mej+"V>> Ŀ"r׎Дy Du1,\cJpddg[MKICA%kyH3UݦMK5ً}m7>A\X{]