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 P- |\D ]S]Relation_Algebra:threads=2elapsed=27.326cpu=52.588gc=2.148factor=1.927zXZִF!  ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`@T~%Z`Eڜie(p+n==)`AW \68~u6;8ſU߉^T+Wߤd=5YdMZXNO~PG>`˛1]>$ɟ9GT4V=LWބB! *p؎^K Se^ EV>* - @o%E{D6Z*S!JP#n;2=xc+ܛé ױ:Jxczn:+fђRFXg:VRMb:oߍ8M0z ]ppL:ymu-cPۃ2q3=c܏k{=vfi]8wp\%WU]@Q˞sTL lu#.LiuۼGo< cȵ*R"f$= T/^$+o /n> urҠ 4=J*=˛g(4RiSa-hu5̱MMb`ҤA՟~i^C6F;T8Y R` Q1vKjz3z",uac0gRJiIQYR[s}i!1JB"85*2eW _R7QGgYZ7zXZִF! ^[]ŗXi%rv~b0$,Elj`2E>E_re\{IO R[\NC*(u$~۷ƥ֏*%튣t.!=4d~k؄da[yVy6*jl~~)A!kVW:ܵSǍ^ ,Lmo)d?ٞϳCƴV OUQk5-'pH1u*14 yn1S5#$b6"hR,-l| Cp;q};.ǫ"yFm5 vMHM D:R L/E{a0 Ɓ0OO \eK GT2D`eDaq*&V7*c *wKdbw& I:$P34\&MTyz"u91&U j=Ažswxˍn [S~ʶ! 8,zT y6L<$Ir w7=:Pz-ÄE願W,G8Q}S~b7x0j ƉKC@Ȑ@:k.w|jC*"a{f̟SuCc=΅.kʞ> M_u O6<ʚ'u V'ǁo[4F#tRV*tT^R6/,ֺ)z̙aa0q#4$EgaseW31ԍP~$[TG4%RqnFU9ׇ\dd oqqH`,ǥ/Y,-:Ro76K7Y[9\h~J(Y3ÂD3% +C7t|λu7ǚf""$"L*YnDZ2Fp"5Y!@K8Yup+~7v`F֕ ?D`NxzӤ5>w}L4SQz>K'Gkۋc7stᬕxd)MzPC;w v!SAzP%=YOauL'po>DO . $ 8L&Ǒ)sO,r+e x_r9w .a(3SϊGt2>d/}=D,TCT'{\Ks wsIlkPL5x"D3%q^tEYfJ4}ioɈ< ofZg$A0Z8Y d}}WH[--D);}kq\