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 NN/= TT$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.798cpu=22.336gc=1.072factor=2.867zXZִF! ]ŗXf1-q恈1`VnȆf ס@,nsq ødpDM zfd>szBYfRRDnC5SI(-c'NS?”D =0ypdh79 5 *0@U1oV܃PcD`Ե2Z g4cyak/r6f07FhIz1g'!r2E0`{>gYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվ2 ^V3Nޏ2eNi;h6}^OS`w%AX ׆ Bpc̒bTٛܕ̛kƉ; ~}?v >eAy>6f'MG#\ۢ',^KK5gO~f(+Fhxa81*Xtjցd`u0WnO $4` Wl @s:ID<}G\j{W1Xn.YWL*"H;q *UL(UrMX\>y)D 9-V=:n!iWtd@(nib||h`q- jK>+Ӝ dW5m2}ފ4Ɨ DӵzB8`1˻~+}:Rߎfe8y֐QEQǾCPf,Oq"{^MiJLZ PfŝYCMBΚy攡J F#l2ØPHtlB-g_'M}H@d` _~#YWHŠ{vn %ZE|=Q{0/v*mHZjW#+]cצ*©؍Mk!ps'>Ϗ(#,Tr&QșnCg=To Hyvi]yfA-Vg| & Z:p5mg&|0y_)VjFb9'?bDm &5/I7Mϲx˥ey_Rm9'_fQd`A"Λ ZܸEdd=Z$St;)͈%+1˜I$ Ev쫹ڕ>$U#UOc\D'3S!6O{q>e6g9;&.qK7gYZ0209d6f103e505e57ea161a3dc45ce4b0d13292cf854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93 f81ab2e071bb5a4ec4097fe1a613616b92b25dfab6fc385cf210d4d0d2dbb3e63c78b6c4276e4bda = HOL-Nonstandard_Analysis