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 | ]/]HOL-Word:threads=2elapsed=24.524cpu=47.360gc=2.364factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yy2gĤ3Fz0'?[Zk皷~ru9f5.D.~nz-yW I-:N8 =SS. D+D)[]7טÉnmLԎL4%wM1LpJ4&76赊]ƲvcN]>9PlqܔMCE:.ߨ6* IF&}auDd ӥ:_~6ϤM,nXƤ\/r8! iV^-$HDӄR؅@@'w[bzˁ5l򇃬/*>4][`M1y -r彚6A^)8~Y@N~W!5ײIIΘoy+,`DK!{ 2Gosg4DzӜ 4v5o8ׁF 2zxH]?^YyMcOC,J_=R|0Wrt'lX"<DG\T[t4~'zN>:/S8e?E2S$՚IK` h;DS#ӧw;CL{>7f^t[W,U ь#)aV gYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&Ba}{V'ދ#f*ܓжDރ>TB] u"'?=O3|KgM3wT+VAXHV ی)t=rqb7-ڧr, Q)dz'(s_;" NM"o3vgSAazx֐$Ji@B 5ؖS]!"a$ uC'me?\+' ,.eD{lBpf닰"[ԵN5*{+ hGL-.^ZN8/Qa!kcZYZ%;k5MA[wKn"[QKSݻ=Q+ {u* @ݑPv]~|cbYFP8Md'LYrNٹa}{4{Ľ!N-\;C`[_'J,Z#bÎ R„wﯫw!Bak2z=%b8IԺ Ʀ}p|8QѬ(b t4nqAc`V퓙> rI0 jpu]b&mK1ZZ7k{bx!F {{CV5;xZIMN Lܛ/+M]bOD0HCU&WΉVBNíԜ]=(v`9V0GL@p&RMWcӮMj$j+Twyǰֺ`zOq9b.2qb?y鍣: նN4O}&L6Z6R ' XCrVd(NNx^~P#/n!kDSW I7ނU 2zo/ӥ1"y/ݟ)Z9\%xzA:n{+!s"YzŘV~쎐jtx] A d?/ A`:7 h$M ̟`u+i[Xh[N4A1=4fYnO(1/+b]hr|t +J8Zï']+צlci>k![Rqlq4T4A{r xF9c?JKv;Bw.T?/{dBڲ'f:kA9AW~VD=Bưk KIIV l ,dDŽld`G%zt}qtr0l/ɋl Ek[_s<-\|T|\-Ka$2`F ES7Ŕ(.lY |': rHZd`sL#DFYFʞ墌Rꚛow!a4)/mIJ PD KuHo=j^Ԅ*YiI>"1hAbj2.r0lhscu2"ĄK0vy5n(O+~c@u[O~Gq +Kgk{|56Hsfxr}d\a/=,ޙ;7 3-ёEMcq 8p|!AhE>CgYZ59af0f8808013379353d497a8d33349eff3433a5848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2408b8c7f4c3d920dbf87b341e237c0a0257e5751   HOL-Word