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 JJ3= L\, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.147cpu=26.084gc=0.988factor=2.857zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû,@VJakCǔM㤪TN6~V*)^jt5I%1g {8WX8;LVSWE٪] 5b%ԪI])OGAbsX`-ty!`L;R-9p\(+ྷ]HV 6j}LJ=ݰodGZt%Z( $cJ?٠-[U:GO>QLT+xPiI43ŐQ̥#SuwU:e:Kn-(z^r#͛{߻3*bNK{^,\B~ kv`<"At9{ǖO]Ucv (Y/.{gw)ծt*)r9F^h T*?GZJeS"{,Vv69$r F[^; @QEMgYZ7zXZִF! ,]ŗXi%6ưKh~|pn'|i.s-OLs!letVuG`:XA,JU>.D'c,.b[Z,NdAaű[٨~Yg{7kbB6Ooh}%<ד~r|c"MQ{1;Q,oD^l}]=(ɭJZ#Y8n:Q>oI9NM>gs qqRNSbw) Dt&ΐ]y JEm>;#z!37m0'xsZl\ӧ-]sȮ]߲#5$U)9}Tf1{]D0NmvT*XI>@a1n gzeG^`q>U:ͽ+Q?.6Lz%uI xxn[mqDho9L]V HHqS-b:&Ux<?nC=KSB< (e?w [g^m-窘ShyA17mT3a^A-;Wi˶Jxm") =Eke]diWyҁiݨW2GЊoSpRjl3X d kMIkjeSLgS*Z$_eD2F.,ۦ$q8E9e%J2' KqQPw*8$ynb`ӕRYZ(5%4;ZAB>2jvWb\WJm|>% %@͍z*i3ϮLp0"ij>I"~oc֮ ܢ1[`[)z4K8Ά:)qYAgYZ4aa557e409aaacbb93a5a2d27f2c5b0f867a14165422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2 fb804ca3d94ce174085e203252226b3b2549f907 5fe96c5fe7f36339d4cab2b191ae28512edfc54a009646f26591b4f358ec191f6ced0f75aee5b292 = HOL-Nonstandard_Analysis