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  1 ,t ] Root_Balanced_Tree:threads=2elapsed=87.974cpu=161.916gc=9.932factor=1.847zXZִF! B~]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@Εyhfum aZz2;s^M\5Rybaa"IV4;V4tkJ@^V$| ۥ(yD xM5Z{([юRSh)O!! ;v>EBˁC' @LF604d@o܋j0N;MAV/M0wҝB'/qvSSXKb pR*X qr3zDy,5)(km_K?4{ ߿%O .t3vDJ 3VX][ERb(,\/qКivxEcQ jtFtAoX,,o0.Y=y8sdj4l|ʄ]Lxaܴhr A\>eU) ~vS'➞ZNnb@tWujי}~™A~iͻԨ0 Fֆ*]Ey+ ]#]I 4v&m SE>WQ$Cj\p3c K y0u:~E2ҎyÇ$w_0{!ļ^m$⁀?PQ GfT/^0M:nMsy?9UD|*Eq1&OX#21yٵ@yrg_' H6K/v=buww"x/4\ڗ%2 -(K:4΁:Ekex+Ec)01BK|R=q K0^и.) uFv O-QvrD\q_f/؄3V媟[E^1(]~>F4t;'nJIIE]Hx[ŀ| [ c粺^[B^$ b~ث9ઙw^ ZՔ.(6f"+܉ٲob ՞d+:QF ʳA"kGbXC` AWzgZoQM ' `$܂bG~sr9.:j- sE|Šv+L+),ݹN   G2ֺ2P^|EN7f$ַ8:Y#yͭV,ְD-U!e)lbr-%v'У#G]8W7ᡞ^ jC/J`Ҫ ܅B_gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ޙj@:J|x})f'-a#7:%ީ$gSJߣ6K*R ^. :+D֠> wU DB /feH [tSYIAdP|(ʳ0NZ+Ц+/9*zE6VCҳP uݠĆRO xk$ mK;k#jp0]0XG2J5KPXÏkx*5[YvRA旡h&$H]{7 qI%0Q98'lDՔuf8ݤ;s136ZK0 ; 8rP?A7)oeب+oSZ MT3YFnߠjZxJnEO彄i|caNQ{,pZ31{Q_N*XPsA\(;R"5Pw[ ?_:*Q^X;;}Һ8υu8$H! ٢n Y1L:o>(>;6̍_'VkMO!a.9oH^ĭ&DCxlmsbvTˤDK{Nom[ 1 Root_Balanced_Tree|Y nWtJ d&&[s)pF(9S;0Aw#'ك. kG. k-A kWG21H d-ǴJT Q)Npr5)x>l~[7~|nG>DY~׀xCL _&KUآ).*Fݖb7K}&Qq,#HC:y<LnZ>7nK}ؿ MB#Rp#Њi˫u}_EaȃDRh!.}W R7EɅQ 9#'N9Fs5}_hYo/y2cOiԓj#]jr:}*m`k1ěZ@oEUx T$Vn-PQeWG^e8ҧ_֣m3r 0<߿ f/Q/F=A9Bv w|SPQgt[#VA>ɤ"iOukabR+Y=ViX#F'A

xXUDjq/(nIh&^Ug~ F,Ffʼn`vs<:M;< u[qo&'Ԁ m>6 -K(R> Qʼ15npD}}3"MiE@@bRuc_q3ѹNO/ǼnJQONmԗűS F|iX=m}06Hoio2x75ƍVx򌵽 R<.]W* 17>ņ `"4TPoUm>uB8vlUCZ6Sp_<ړtm5@~3HR3b9HGݴ = uYr̲[$Z"tl| k(B(!5o}=A `z| b8/# }YVvVVlDCk 牕=$0}|Q.7V .j++ V(_T4mFC8yW/w@5%02_|AɸЩ <+QxYhL<4!u+)H9|_X6;c/A' KDcBk[|(0Ìh$eϮZAk%4/uכKqR ٓyBPvաcKW Y#gAdS_WxݚEABsiƪ>F*%J[wm\P \Bd;%V{^jq~x?73!рajmINb'jf¸/wpf=t׷m٭4aI%*jy L#%7&l͘kB@~S#A*Mx4DcNx+*]t\}9g64&k5nT4wSp~m 'ɬ}Cg.q!_-TƖS dmv+齗6et,F(&e@DZgYZ26cd59b7964934901247936be359f2a4fb64fd6e325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad