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 u?|,| ]]HOL-Computational_Algebra:threads=2elapsed=69.633cpu=124.052gc=6.216factor=1.787zXZִF! 7iu]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻STZ,(2m$yжJd= A8ޫ7[W!ʎjNc ^ - Yi>;v/ttclZ0ȵ3ve?ǦI/v]ߺk!\7(T4N%} /fNpxνG_/MZfV|5~;Ux".łK^@@]V*yf*D]r4u>1jUۍXp3G-F#6t=2Wژ'23u'6I{8kĩ: 2SätI\}L8W(TUA RK<8f_3Pp]\k']D7SOCJco$g=/(ƴ洶 A3cCE>`b/E5xKG:[όÅhٌiE{ @y"vD;;K&9<C] 7<;_Yێ ,_>"r[ڽA(%i̸_9,}CP>\HM#__7 UӁ·# /?W#U'ҧGEK=H\w.2zРe T[g{v`XwaWs3N<2p4[T(Ċ:w֮%rU/7z@֍ie3jE `-JPX*4IGDS}#p;S_~ S}}3>&u3Q Tת&gux|l?qGLg8ЍK%3&H X2+h;qKM|21bv "tPAL 9;vm4`{?z$Tp=^rda GEIuD˰hfAX`:^Ą\aRlw_z%)PXA:{GlJ! C mZ7it[ehէLi$O 2j{ᤛ!Ϛ$葠yR:zw?JF n\g4gYZ7zXZִF! ]ŗXiɟ1vJk Ӌ"ï(:87\X%_p4q*X|CMak%Is{Q/ gN3"l\x6#3Kd" sj#M}!"|X+-:u~ad׸]"\` TD{NA-lTHɛkDo±>v-M1jp#V8Jڡ•=Nޡ:@ NZh.݈rߍjY寸[ZR\,o6 KOPZAN:s5%ڢԺ*wuKʘbđ~~diL)=sRv98aWz( }SutPq!( ,|=ְk{-:΀Ĥݎ>VI kbց(qEO-^bw(<Œײ[q@ѓ_ $#\!ip)TX&gŻP33E̠"8ji{AZ+D3SL$d{Lˮ/TLe&eJ찪 N[L5]]~?,xH/ e>5%*l_41-Ã>jFiE->E^Fno78@0-{H|b.Q#;)1!`KVTt8H\_YT\S-e.:5EunHt7!ˉbX;Ojl><.˶]z +s, 8ÉBHH6`d2f\ec kBh00z^[XSFxY"U }R4YQ&[l_?Oi!E3q䟤n7'fLFjIP;ReijdT{mV:#~K2&gUNƍ؉V^S;嬋6GU9Sgd;-HǠ["$d>m(,(cIYHe] @+3>?^F7 ^Q~lu:AQH:[T5YJc0C).㡓j78/)9?3!uyD*ہV'N$^b+nWɸBzsGrėB+"O[' q[K Pml G?!ɇziWa﵏D[bd컃@~jtAv8|esYKu.뗤H|r sfi4IĮ>pK[RAX3k6+ÞʏSvtoޮ~?%(`ܵ z*c"k&_cb,+*g;s]]lqCG`92MGk ll%U_ ls^L~D*B}&12+?HHH6X[J:(ЫIٍ&}2MkwOpkn+Y]X[#.!BKC*kocup:P9&:Sj9+-J%7ul<ڧ*I = y`34-H3YU}i,E:H[ ClV[7S~ed{Ņe{KDHVnǤ~4~ɀljsͅbVϼw@#8HcAH QZ.%<.8f($=:TO1uf A.jS1+4<&O<9O_dKg S>4:z\llYUB:&A(}dGۏװ#W{Xx )_d5X)5gg!vPD7.3QC6-/^?ui[߂uoV|rnoo 1CnQ>Pa0`hmk6pe>hx Q5+ЫQv{}v>ۮnjϼ2-r`x g,$R^9Iaǀx/.ÕUj9Gv4̾t4]K+#pIRj"=+ uTC$`XeE'%5 Mw2̀b}pVg[/HYj+xr S=t].ߓe@_TϵAjtPz/D&}aPSJ:wn>kS-2j/l Z[#ĔpvEl=D9XI4EFf^gYZ5ceee3e2cff6981fe18964b79a79ddab216391143fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd474927fa18677453727e97f14301515241490b8d3