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 G= $T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.117cpu=22.820gc=1.032factor=2.817zXZִF! J]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa qfmW٩Ts!̵xZF_Bu}daPh"sM!U7Nj߲)mSL9…w+'*AH"^CGaRF6D  ,_ZDl*[ςʲ$R!B "4)x'r8u dᱏ|To!6^V]!5?@b1|T'D%\JCyS 5@gYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>\(+ $C1S2nfZї^GG!$JznH!jY4͐[4"}tL#iH٪޴W2rm!h , P!xW$5?1Q=wPt_p"2؛Tz9PP`icGlXڸj,v ei'Ȗl)|#LN!h%J&%9m*P t0V<X)P4<ܔ$W~ A7o] !eSSSsT杝D~d 3u KgYZ7zXZִF! (z]ŗXi%;ޖMx+-X:KL ²ymxÜ8'Y 6=tEAÇ"5!l.k !*Ө7ć' -^(]@dwwUDs0_IrXL>̥7hHb61)5$np{?Mk*fAa{-ۜt*qjsOdIt׉ݏ+m BHKQ{9 .DG.6kXB$oz[:T~~r0 yGg ֍`ޛ䀬\(?;kISb6(Uz![Vۙ/2\PG_HGQxQv.Xpl t#((~y? ˆ(ud԰ ]8 ;[ w-~Q󩪅9:KrdX'J6s6izr3Yxq\*׹V1B b #bR݈4*m*!;ad-XS՗|dcغˏUl nN )|F.l7 vgP.6TJU i3 1"Q&=1\}Y-t/gDq