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 = |T, ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.389cpu=21.304gc=1.104factor=1.877zXZִF! 6]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒo.9(!lz/m+?xaȳ:-nbƝ!h`:f0ڽu3t?#ɔU_2 7Ft܈`)DxE#w"Bp:R,_CObeYJ: \??,GIBڈuUl8M`aV#0 (,8i $|њ IDkV g^؂MW_3'_Lgg dfgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v {'$ʓ+fH%*-Q{mHJWW i(4ft#6:^RJZ,<3Db]w˭ x9[ 㮆W=KIh$n3\l#,@BwNX×.x7W XkS:ʬ|ǚۣ#٧߿ί܆2% oS ^IYJGG ڡ-[XXjWG;7`M<\/J:ou\$y\,X A-Ų6 J gYZ7zXZִF! KM]ŗXi%9(PFң0qd+o)T[ IBh<gLZ  5EN >ƨ.qIX+kr-bRGhnMYu$B=-DŽZ)\roC<996T@y마jHJ[F$xtq81P\g;{\Ztz N٭{4'@i:fR59&_I鬭ZoMɴ[r3юQF %85C2אAN])j]XT5]Ssa!tbRD -Nd?(3 zZk/ .cƓ *{ҁ{tK>t^:+2.J:"|ʹ5 kzW_50 }1?R6;.A]Md+:#΀t}71L4+wɕ}bZAmzbwdxb_iqI]&\׉O<7f$BAw':ۙF뀾5S$ Q}7y Zt2$xpŐbi5L/S0OLel:£֢YJA𽩅e.h; roN%ݴ#LA~VQQz*P|m$QN&{cecO^^/ɖ`ה tUڮs@ zAAumA{ 9,BwZAȪ3UDۖɈDZ`_ഝ`\3vVs?Q<_m:!B Y4{ʃW4yC)xJ n%G"8 k$'ċ:ՠ1,?y p@ [WW\@=!`(x-5בȄ]-2frK9TQn*߸e7e P[[tznd1չTx_U3Ub-{n")ٍbUsejh wgYZdfee8d806b89f776d7c0cdfafea6dfdebf7d9b7af24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd 591030b2674ed948cabbf98d0f295c5c5325f7adeced974946693dbd4d2dfb30a2031f62de364893 = HOL-Nonstandard_Analysis