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 h= |Lt ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.648cpu=21.972gc=1.220factor=1.897zXZִF! 86]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒp]FNw ,Q^ )qGt?٫wzZ1|b-پOQ <"n -P 1$2/=*J Cmlψ~٭ur;Kj`t:d\Ҽyxg8jX\Z,v"2@( Q@oANM=&wMuJVhk%1'YqxTꞒ:Qt&G ىQ4QL}7ڭv³%fN@X{= gYZ7zXZִF! ^]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>#w'=@3న[&Ν.UR rѠP,x e͐8F+m{x$̛' H j_1Ev0PIR6vCͻyt3#WKH"I_w6Jv0Vpm \TgYZ7zXZִF! H2]ŗXi%9+l-˚ͅTyJGGAaB$`q0öY;23R8]kDSC`XO *{].yT9 Ch2{^ʒ;,,V#%o <]نA 5U^bR1Fـ,=bXs+p=rX+LJ1\d#!σiBy* ;"!Ф#Q _|AZ:tB ͨp $ v+eHAP~wAwg mNˑKg5'iVгY94.z[;ĥLܑ{2[ h^^4mՕC#OxI-U奚ٗ0YSũxik7Ԝ^9`]uV}I?T㘕X;_BGHr5Ĺ ` GP)nz=Ix WId}R*q64AC˺Taߞy+ 5`uaS%Tl atf>ޝKY&&F޲CCf'b|Z)L[T z.y_¸v U?%>dZAQ&ar0=z\]'&{;@a/]Z2?s7kא-S PjA/$ [`S:ĄQ25܋/, x%_jU2ۛ4b'3>2s)xLf?oot|DY i *ҫIp2N3e>f];uLGDxՑJ,gYZ859549073f7740b2d6d811bd49e68c15b3b9278341dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 b462911b7460cac74c861650885356046443e0c9 4f2f627e8a2d6fa3c302fc9f069785f1fa1a73a0aa5776104cc369329164742bd26f19b456b412fd = HOL-Nonstandard_Analysis