SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 / d| SI SDS_Impossibility:threads=2elapsed=58.587cpu=82.420gc=2.184factor=1.417zXZִF! *]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,1-= R9#1.8LrрBZS(#t| ncWhD QBɫdhJԞuCq~Զ8[(l7B&NqX+&g: w(Jn 5{?M(r=LÍUGv6/r#1s)*Rc,]⿱nRumH}pTrX | .5t~^,O$ ܓ<0|\;kl%,d ni / SDS_Impossibility7Z+~/Pu%!LT( _dPӴuN=ngg4!q#N71dx,l"hUzwc (U `,xk /h&#\`Kpim7i^6` /6?CA$L8EGNm tԳIȐj13NogYZ7zXZִF! R ]ŗXi%6y2P5+s^1HK"Y&* ^Ab=D:DzrX=u7gIn 8QT!Cݸ(8 1/dmD= N &W|anAW6A4_z&YԨ\=ѽmX*sH_%!#'R7W3YVE>cDCMiP쑪CP7G:֐ǫ3úW'%/0wZW^kKgj;˫7cD *vКHpa50o`80Q7hS{++GNZ2Ol0_EKzsϔ1/'[̨$k>+7-=ڒD)VQDr[Պr98CD";CkzXBaLwDK lX^gVڄhb>يVH/8+NG²P'2Nf ?=\8,iRqw !] Lћ7EYOѝ7BM/` n輄#:s8FAi}&}k A7>c%(v6ca%dsO|z?%Bn#uŅ˼2:_~/5DYNɺ.[Ik"n$dK7kQŰpZ#EJ!2Ч)Kj_+f>f;5xVRHMY;25bx(V:3=8rY볻wj/ oÃcw<^d_4(el{ >`ы !NN-b#*B`m2Jc.Y]Ҫt>N]튋we3o}mv5)afUJgsX}72&inPnܘS7H秬Ս uy[;.؉YufQ FZKBU/"mY۟ x6_?p`i bJ5 {cwBN8.}:/B!οCfcB̘\2iOjD _Qk5pNqs;#A0]UiGJK+,enWG,~ X6d2tN Q*w] fkH^ӒH\gSr (*@Q@]C'dԗf?mj1p& aVF;+D š60o@Mg< C߀'KAo}.]'4cW -ɞp} (= k]QzwIe"Ifl"vm߄7> b<0k:FD]g1iwr.\3uY彞2So{k)xiҟ=2Tf&:q7Td8u3h>hWՓ@=aQF;-#Er%H+<0ì1Y`Ö~|"=]c%^ψݗ9'"LSOŗRԂ/#̬~׌MSkY2;nNuq3Y*,!fyXnBW(Pʶ>I B$v~ 3޿;] Qc8KoGqӬaƦ]5l0¶3#M'\M46)ev4=We$iE6R%鷡W1jS=xf'2A}@5T^o~G_.|' Ɠ^;:=탻&=X܍T+f | oX`I▴Q}X)-i*,Hgl!YY=pq*aIyUYb1Rߜ~wgO{v{jO?^evP5Hߒ -by 4 8;X73d=Ol0%^*Jí:ڲVtOJpc֏DBl0iQso52UtMsj^)пEwr[Z5ߞљ|Dgb@lAcaؿQx|g0:PU%gcHifpB@O+IYv  ei-YZ B+yI+Vݧ?+::bܳt4 #8x JDP"/+A*4\sV