SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X t s/ DiskPaxos:threads=2elapsed=41.713cpu=80.376gc=1.092factor=1.937zXZִF! |]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsW"=֛ B)89'ZBްM 7gnأgh=aWL@dA!UEspids_詒horgpt4ٰM?> T)SE!=wDZ㺭sFb<ж=L   DiskPaxosO8YWBCףxYkiS'xQ8-XG[Hj&V2z+YnLL*ݐZл n %/x]v~F׏\"i|eRM_ S+CT XVDEϒMNL񜎋$9IɸOy\c;#w.'u()yx"OIC1tQWrMSy&1ꌛ~Dϐ;K(II Om<MQgy{+/,L>b!X/Vg YrcXLf _'-*@oSsz%߷0~S"6p\!/~q-JWZCDѫ -*O:(H|M΢Ȉ :8t\? 0D @A.6`j--ƖQc>h0 |Xt5-3Z#^G<;kq w8Cr#%L8m|N͊ҲG#}tDL\xƱ#|sb_^hޑtCJ[T41,$Ѭ`iWk Oe6`+*w-NQAt~e ?3d@mpiI@L2o7:VM7 t҃v,ֹ|M_%z,] 0g^{$4Yz"Dnݚߝ썒jX!i^m"FsvLEM,) Y<[Qt$yjMQʇG\L"5[KfFU q;sߧ&4sg8}7ndSJRۤd7[t![XD Ft"~U>£y~K8JEpicwú3B.<bĻm8ZY1Tր+ˮM'7М`JH\V;F]L%A;軤ʨタ8-?nm-Ij)z5˦x0"4.'aTw!dТZ9Ts )9L\.a>btl|SP=2X-ԼTn<uLPOMvsk$L+XXaI2o#PNOGT7&{/otS~d 2`뎴|4YV.@fwv~o`o/o l][_Y uGI!&:=ϻu Ѕ5Q nJ$qN_IW?J +Sϒ?yO:j1[9a&N0LuI}ЬQǘuDOxtĂv/,VT1ܹǰO8%Ӥ&z,.q>J-s!75X)Ke7VC }Hth?ʯWy5,n9ReDySTyݕki曦|7m@ P(ּѯU ]M©k1R^(4'yF|4:79K؋XIVUDZfd֛΍AkkBW"o jRZG{ݏj e"HŽ {H)Әmo`j03AW2oX*7~E _0)=wH|ٯ$jtO]+PZTm4PLXRcUv Ҳ:\wlOq(J6ȵyc(慎8n'C$r3"oxiEݥ4FׅQ_Hl]g?GrךMH=0vDO&=;w2XlaUY\~1<@3Ead43N}U J/dO )HCZ6>,q%hE}?Q$oz%N'lӁ^„Z'ՍSUQ TJn!,MrO3$JF[%VgYZ7zXZִF! J 2]ŗXi%Q rOi;~x7u|ɫUWO63'YBlI@zdo HF |ot nzR 얏@!zbRL@O{a{x1l nO=NڡR!iqæ)Iw9;F_xE*dY=2@BHtw*,}e:BvI>m|R^n@R۝qm渜!2&rZb;fZ4PƼx<3sn2*A&T aԤ-@$ i>>;@A=el5z@T_o W0&MPܻ .BNc w{s|fV ߸9g>Նlų)w8'{ШhhGxJE xr-YT*T~$?ʿvAp5VHFYTg JASMaĩu`pnpDG(Y睈k^` c&`z'VbtU[ u #$aHnе\g/yz|Z 0;ꌴHw6my@ -[< H(zTh[=ecH"̭!F=L/=WL/wjN( w{<:4ZR|IG9Fc5j,] ;1X+B]hy{2~@+-Un *qLI5πī.vA.\zա|56 [AsâC95N{c|.M||Nttt; 7뢿Z3E[~