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= LT4 ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.677cpu=24.456gc=1.176factor=2.827zXZִF! `]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa JOp6)^)wa#.m ݺ@W^q7f_}C-&, .<4gt+Iߘw&SO oˉ~ *=ڰ{>trIs0Tmhcsts@o  {u*GOśBf*e*Gz;kLEb}BlNG.!ѯ+Xycյ3{1u[éK-GߪxgYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>mꇼAژn/= :'Tښ=UB/9\?78mG\~x^Y;Uqܲv׽&:Mn۵U4\"i"`& q\0Aߟ1BlW][%ϵu& 됿0~%`Z1+dOhze,*F=GF[!zYcڟ܀7Lux_Oh=ǁcO+afpKAC<^:NbNVz6LnU~@=:?aB KgYZ7zXZִF! *d]ŗXi%;E IKB?WgXPwW53ciPUtWet y̾,Ց]ˎ E8vU0R'Ϧ GK/y8z1 {ZP [&GI%jƩWy~Rb" ::JY[^2+iheGlu/5M>T>߆P7L,Yha/\8~R:݈,}:.)FÂ1K"1bg}<`;*T0j>o#޶sbWx * Y ]*E#ׄO#ðs9/c3Hϵ/xmm➅: s@ҘQdakHw]]|ԑ$PL),N"I5߅欳:$wtd1<+puq)fA8јQڢ2k'cŕ >A(fh Ib^0MP>#m/2 p?|Ihq.eziaA;SՂC9O}_z ,5LƦX4Lg3$ LNm}^8 ?回^f)ŴtP=0LA̱;ZDrG"HcgG6 [[(LU).6&2vO2=qLtb/8P\1Z:wnYya;ۤ t)jюc:N4Hں99T,gYZfa1f987811a9cbc3e6192ba27f6e00d041c925e232e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 089e08bd04413689c9c2f25359f75795d5eccbbc 64f6bc3c1d5a58e09f2f19a334c361d58b7aa031da54ee9e9087e2625ec95fbf844c8e09face6b9f = HOL-Nonstandard_Analysis