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 ccd< { HOL-IMP:threads=6elapsed=66.842cpu=271.648gc=14.564factor=4.067zXZִF! j ]ŗXf1-q恈gryuPdX8RL/r+4"DGP{EBF$G =h|,XFʒDq^#2<P~u<=1:.7&hB?F2."$5 A"Wöv,91{S;s{ sԔÓb$aPnk]Ir~ynRw{$gqSkSة^ e4>2od%ibɪ]=3fj~B#d\T68J)ws="*jH+j t}X˿Y{b-ͭ\;8-^ R>ϟ9\R䢦=ˍS [(z.cfmԒu5MEt-O*n ; A ֈ^#ʦ2I$P#"h+c@L*_PlץgyR4bsryDd7 iu߸^݀V;ʴ7 #_W[Bn`Id a;dPNfGyq¬]T\8-fxCCf6We~V3!>'_͒6]hw' 㴸})HFOPc8|(<)?Y& <-F;6[T9wT0Y/(8YdJ+LSAn_,bJ`?v#]&JΩ'S1%GKI/%e'@Mo,RcG'n!~ݷfOǫ B|h DXzd+)$*SFKp8q01yBȮceE.y3$hAortDc֪DnU6?2֑id[㴣W}'=ǰ8 ֻ *eh^|տH.|^5pPp'!f-!HsN6HσQS9ӭm:(+o%8DVk=gq9œZ4Sį{A @XC&psq|`(^L>0 k q M\o<5#šhC94e1q;&4*:P'e kFW!քV^¶Td)PAg&F@^䩸vT~5]]"@ *bHCZ?]%unl9wjs1 |ֵ]ǡ| =L֝dYO#Qjm\~Z:[=i5]Z輸:xg{Hfq6fv.pE  Ҽ>]'JjY;[IjʏŰPU>f 0̸8Zp0jOpFVvSct^P -mx0&h. Q6h'|6є=H dNR߃qtl!YK:̼u/fөk'pZRRTx2b,>@ejj-baS"aDfHd5r >%׏jr(nxN /K#q\Lqj%# ^f~ "&C4}%F2pGO%Dѻǹ#MW9۸&EAKcGdjSن.=qy\| D#YgvR{G G pӊnb+/ rv3 \~öRr$hwڈsB0,% FHpۂ>%Eؘ_@c}&ljHNPn؄>/HL r˥;B@Юs8s5G|Q1cN=5K x+jr^:AOߑ>4Y4 Mq@^-ZK.7mPi i7?3CO'ͣr{UeUC"--4nښol!D: ,~ ;L!mu|/#l\㄄2 )N*ҹ"+w"z\I3NUw[sJl#yLyDJ Œ&äϞwa٭mimeeBaJ#3 ˃t{q:kNhabECJ)CEԍ{+)Hnd3&"`$ 3vIb]B+iK"Fdhmkºd! Kџk.-l,F0 /+]-ѧu1nwX }p2~vwmTANðNGKqOޝA.`Nz2 o2k~X]O$n9_6: P5߲x? 1ծ2m#ms&*aT ΂(dxwĨl, yL-;PqT!~>Q:#1xs+o{WR B)c:M,GnCjGvsɩҽþ]Cb#l f@&)ĝxyV09qz7Z *y5ꇚZ@*&s&떩O[yWXz]H?hX뜥wRV}R./n%x˒]РJ97L ^R6>0Vԑ;޷qdBg\PD|e3h[NFT1X(9]ݩpHߖP-Bb=;dș[nm$&)-VWwiX˔{6 ɀr;ԀEu΅07EC)a &+) #F3Q('cOe[>BN$:?F(4W^&3_Vs5@ZEz/rM\.q^~;yPYU(F.7ܫ7? j*Zܪ%Knk5O$I/ LU:&}\.DzIwSt V:Pb|gҏlfp!ĵ&~ A994\cxtqmӞxgŜ:E^o\$_q?ZhډnBh}!ibtPyQ>m.&|y5JdY&*BwB|sd-01[w럂 ~`$÷lQy2w(14xGh0Yt%]ãNoq+?u DsEqRWmG6DGoO K ga5L!CաӆkfUr|bl[s@ ~Nb TzctZrcb57W1Cq4Qm|h&Ѿ\Z1C!aj^:fV` obQ-A-{b̲ϊ$~$2ᇈjhP[u ոdҍв13ֳQ2åҹU H aT2ǼΡ7;:_kw'$[9לc2}`X\ve *99?i/H}V:Oq[RkkD4f\IsdUdf> ɕ=/?`U¶/79@[9mk-ZAc?!FWMV}t)-i6kӷKvʟ]sr)I{ƝoƉa:euĒ r) D*R$.썠b] IDPJ@M 2Bf9h:: L"Զm?6 ϞTPFgqt,f;]AJi0ňyUmo]*S֕Y+z(T+ΊsMvs@k*z"8/C 0u]6.R$аw'^C,)D[t)t;xi}|FF1tO`LOQ5Eo49Ymz)R>h9]=".i6}Pc5 "qJNQ9ȰRm0g py7'Wi^:4Fx#F4MHWAsqBV;A M>mCBm8/4iWӨA^W tI2v ZqU*?WybF@!)M~!#wf>:LZY£@A.W'tNQV&X\zŴ]R,Sþ$6bijti ;K9/4Һ:x3,KM%oѠF(I^#f 3 gCc*2OЩEЬYB 7ԩy$UT-Q:{\&y-\5)fl#Tf@sde;N) Z.Y7D5Rsب&<[KHihWNSUdoC@s6Hl#xPHX V$ kL%8I?]ʙ({ D(sfE'͎F+xQ8ϳ=v#KuyN6vG؁x&Ve!28 y[vff!j| -->C IdKeV jK3F{HިxVùg]w]`z4ėsYWJZ R>࿱20럩XoIft^c«@v,聰/y;iؾ4fьE\!]0,V{Hx ]>)Nm3~ZӨYgBFV- =43W31O< :gd;Ġ0dz4=: ]Y D-/a{5aD}T2tTAږMkڌ|phwY)K G" D^E% ,\s pp@ôoX?J:Rd ]C5n"(QwhDiuM4k4w(-X)bVnxwINcz4JuYo1O)tl3 &9fPڪ.¡_@)WwSBQH>k;P3;yb)n[lW8VGw8[,M'nXfYY!o[R䗛ֻ@ /(