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 = L\l ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.357cpu=23.744gc=1.176factor=2.847zXZִF! s]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa @=c@mP"oGJS܏~xdh c &q2 9E)'i C*® #ŒJ_b{9&R^YOB5,)%9ɗʦ#ُ[JO`#wI,zclM/(I~οQ$S>Xq@yZ6ƳBn[l WgYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>|87ؒd@>Dk ՃaLMQBg𲄅WEF1= eRFǁ]ԒH;ji1Px{SCZ-I]4j֮幮W_J+K no3G"KT;Vg #~+6X&sw0h2 ui X##>݊G uOEpV \tb Ng&C^LKAގ}d\tƩ;Ã-@sGIeGD9=JUQwO q AL ]gYZ7zXZִF! (n]ŗXi%;ta0\w!,ҒHLް@*R]hg~&!7hTScZj^8Xp@N1?ҘBiJ @eNb90kIr!+k|FqJ?X_h i1260J ?Ey^H;WAk,S$3۔܄#=yo"!0/RoMU ٛ-& †e^}rN7٘fc\AlB[W ʥ2>u NmX"2XI%;s3'|1AּԳ2{f}݌mmP +!kvصؾX-aUe& r}MP-2~5ƊȨ.q_.֮ʲg !JV` ZϬ--+v0[a1`vX`CDa B6ba (h {SJ:I]U u>Z'/~3H^* 2R4{9l!xl3=msеE'9ƹqEI (n\+1̗7\fyLCTԹi\um锇p'dmr*ԆdWⷋ@("'yDu$e: 㶢>"x43?ٶ"oId?<؛oIW̑Lw=EЂY y $mR3Pr2gYZ502979619dc864259f3b82038894b8e37b75b897a3ca72e93022ff3a13f721dde80608155e0e134c 03ac95b81282031db310f795682802eff540a88f ec5f667793f1a373a81b1fe8344e2c3b64c5cda2 7754f6e2cda2017f8aa850795971355a93f9a21b1bc79b6d3cabf0d764a56f24d61c97b4e4c31477 = HOL-Nonstandard_Analysis