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   s= dL$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.744cpu=21.972gc=0.936factor=2.847zXZִF! D*]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm}*D]o4&Ҽlr|]-˿#0ڄ7gX^SנŹ{KzQ{mE F*1'yV5{uE>iz-pXXF!E j GG R _Fe3 KxA}5%b4ch $_zDi<:|b1#\}@c?QˌWW3P|G*I)5gYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>#w!cSˆJct%=W[lѸh=Ӷ~9-L=8SUs_Bf7)H?7ƴtg1-hCR0'gf98cvAݟ4ۥaט)l:F$ IqH3$ ;8ȨH4sqšU&` TL++,Ϝ-i475P Y &!'`c7Zl= ݓoC>+btD(2 $\gYZ7zXZִF! %L]ŗXi%9)M6(^VN"V`|f]:c2 Oh%=;v =PC'B{s6 de`V[v0˧P2ԬbU}'u_uD[MOTtRaL5EdӣP5vr3L,$m}6*> N5<NyW:x[j mLQH@ RZ]ȽbYj=34 * IcJb3!!\5~ qN F$`bB m/;ː:D;NdbomVF aDnEAh*i"@3+E8c8Iehz?.(5Oxn!F.&%{5l[EM~QϪQs@2u=wcBMwP҅7wYҙ21Ժg`V%bLr̈+|˼Jڇ f JnuS wR_ڡsou&lG*rU30⯣hr8iՃ&xW_Յnbuf8bt\uoG͠Q)=oM;s}E|nt+qXBu•wIC5sCEKdagYZ0f05250ef97799b35e6542e169c3f122ae064ba441f17979ce98542c0541e9d469ab76fea38a3827 fe08b72d7ebf651118052c08d58fcecf57acb8b5 bcd6a8f9baa2d1eebdfb3c52bf0ed51aa49a5db7 5f240747f59512a486c9452b5fef9b632ea4e1bb7a7c3e71581fde7f148027dd646cd8f21292b9f1 = HOL-Nonstandard_Analysis