SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  e5,lL ] Priority_Queue_Braun:threads=2elapsed=5.248cpu=8.664gc=0.244factor=1.657zXZִF!  ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ r*Mga@!Ii8XW¹ vv őPYꄓTAXo&q`[wpd+#k.PP;"([ŴQ݆t1\ݙCu,Œ5I!#cGeQwn[jrDJ,`\lne֪Vm#Tux/7!FgYZ7zXZִF! n]ŗXiɟ1]" M${np^PS|! '9fim:i^W[z: w#vH=0fѲs$VVOLpjgYZ7zXZִF! (]ŗXi%; a2JG:r4A@Љ`Rm";ܷ M}{Kvt,% Sb#Sfu>p.VZagGA|=BCXvBPQWFȨ+St k>"Ӫ@)&Ǧt;zQI~2\j~Fek=߈xlUv3m}2H;pH|+|Q.fyXy ,!_iruif&k|WR÷G}jٷ"5J'G(\wx*sb6WW}*д[)n硱bk<ץLb_]Dyo'SElwS`c!kM`㭟 נAqdD4dTdmXQ ن߇URxR}@BrS[ڱnafAϘP9cM2} %FޛQwgzrHVyH(Y/t`z *jxE{Lmm4!AyQ/1Щzϕ~;+"WcJ[_|~T6:5; <ٓznU l% (B1JMJ>3[@Fܲ4x_an+yAE1u՛y1`U XVV|3ph(T [hP[6k(> Kyq,ן+}ǦxknH o|QˤͱgYZ80607734f786fa0b6e2f2abbe529ee9edc8962300a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 5 Priority_Queue_Braun y hyd5_% 4Priority_Queue_BraunPriority_Queue_Braun.Priority_Queue_Braundocument.tex7zXZִF! fQ]A-MՋhvG"uIBm5L-SaGͫ9+ƒ o0?M ܥM\z)<oW,9;=*0vz=_V-6'!͕{dW sUp Z&>^x)yh><JLfjf2EpX*So4 / k̫/J#@A/uu8!+nb46K: ŎGf$E/H|vb1(F @ ǽMkcsggm;-zĦs+D-:2IC!ǻI@5X4dKt)v[U=pL6l9X +Ζg:k0^Dz9)O[+ע_ yMwX1L F*<"3ɓW.굯wQ1A69Rj.Xá2AXϧq/xb;{LLUAhPP0-ń`עP͜ LD %1?;r| m=͉(嶺@%2NCa,W.IԽxTCm/<."bq Yr Xգ$O_RLL{ h1yi|K`mĽmӭF>A 6A]HLO$YԊ;=vRK2VܢLJI+k IiMN>+3jY!>"jq3tKiJ\Q`ʁby"_\LM&^of<.lت׆QKhd5Q% $Priority_Queue_BraunHOL-Data_Structures.Priority_Queuedocument.tex7zXZִF! k ]A-MՋhvG"uIBm5L-SaGͫ9(Ձ(X[]]CZ9nQ]4qc< \Z/f1<e:tDX:5X/pNꐊoD﨓zp)T+CJ]HNw Ѵ{6m9w\V h:m*\^iY /_IFhS)>`BNZ_:Sֽ|>"vśW*ܭ#޿"8c+zt=(/ ܗqh_?iDêTpy6aK8_G,\ʷ'DNPI漹/u~-HF; W}y S^pm"Tߤ/Dy%:Mi*r stS`]꺁|syypGtA+9JzHyas&Z~4處76'1~?]W# )_9m,&0 Y;.;e2]Eϧu Ȭ;q| ?*7z*Y t@+ #'iBah%>Q{mu{,r9V!!/dHTz@PCBa{1D`%E׉߼JN/i'7FbJn,$(:H>z+vQ[t`%T_*1DjgiX6ϯO C]Y_tLw=s[.gSJAkR ņ|{/v"M(R/lpJE"tRMpixM1bZGqØp2X?4#ޫgYZ hhO5_%Priority_Queue_BraunPriority_Queue_Braun.Priority_Queue_Braundocument.texG5Q% Priority_Queue_BraunHOL-Data_Structures.Priority_Queuedocument.tex*>H rb)ali=!֩5]vh :\.\DzCEf 37g:ۅ*-57ctSV\,r^>Y!"ulj nΌqG'I-a&-#'!OŖ+^ 'ណ2kǓJs~[HFӈg>1 $4\©sBd$Zi'8*0Ҕ#`1|FU|ϫ}e)EKDP_X59>8"nx z&qhj3SaqH%aD]Ce&U8 }=;q{b]s {v:Ԁw& vC`9Ĵ(9U|7ufbvNgZv坆sf[m[iэޭp*N %||l gQ~pqWEw()LU¢E(S Sm93ːH륾77n'C?۔W:oQ7zKꛠV!4He|I3FMpl[%EoWǹ|g#*@!IvQpƷ(o;p~1'*kIũLd\YU4䒷1(Q]{p(G%O";$OwYcPln9,yr_SEEZov euXwڳLݾ;#ٔG$5 1XZkflty|q]^X?יmB.H |qU\l)S/`zXgoha2 $,캊=f)8?wVz[[٫qf<gQMr{#^&4VS"xbyɠa.b]F+Y'1kH¼ @MنQ婜 >dsP(w]-/SE^Eto1#7Sd1h:H2{\~B"ǀAI8J={wUF_%5}-]6),Q,?&h/q谷 %>?*j5ǕTZnvo MgkӜ;ަ*";M3׺ēuxk*2ϤTZ1KJ,$ҘeMH4|+>gRaQ", ŕFމ)osy,,޻wg`Q؃AL9qIeĢێLA(#m(KN]BIFd'O Aվ1s]^e GyX @^tRP)?ac_z}}]rތPm4U% pLW{ ti(܁0>&iIQ`#}:Eا[5A8)Õ_ BLϣO}鎼Xa[M;J=ku.U\H9ෛ4G3лA>l9d@`LmB4"{;9)S^0j3rRdwNZ,m~Gij:QĞDsI:`PsQm맷A{y~!Y]$[Ǡkӊ~ 8{WuZM:9?#۩UHifw\V)] [:I-.n΍UGBM(k>UL ϰi];`-K*B5\3ngԋ =j qǁ$aAi< ,t3;$LaS@njIH̆4 k[s JYőS 4-O=f6y/*BdP%r~Q>[R0 .VVr9 lyW,IA:@WLZ$Rlj鐚i_:V Ɵ jJV]Kuə <Y26O7*ԮVG@e)H߀ßK {pPiDURldѸ;4)i*~Y~ٕ as#.6J0V7 :51ݝN bܱ./ OcZ*'R uF j}RHz>Y{g\Hmfm^( (״;c֐㋨âc0u{mE~|n[Mna:Lӏc6RJKqAM(c]&G&}oXnPn ~8瀒Abd5ְ6K4}+E-JlL.mX^iԳ ұbۨ J~4<}/ra58ZL<~g+ 0U*#XgXĠZ@ލ ;/.boK<&& X pYN MHL>zAf\b?fL׊5`=DX6 QꬂθnVXښu@b;w%xI2 N z9rZ=xf)mXdz4P-_W6kZF;Mzg '; ( =R_y}#%Uh)Kf6~Shyg*9vQ wL ֱh`Y>:IמϽ}.0Bl㵹w{"RI-0ҞWYZ+{eSHijZ5t> [Z3el4\c/TZ硓?ĩO8l(\ ;mpuV  1qF NAtVeĭ".|AZѻ_- Ԉ.bΘ2t=z{"ªn}A{c\֬f%†Z{jl&h~`)rbJȆĤ{X˾a<-Vzh.MQC~c=c{7} Z0zJɈ, I$ע^{!ǔa8ƟInl;+R4Qé4޺s =)[ T:ϕ-npo"̐~2cNWS;z~?0,kÚƺ`($9XL- aj4v9ub<Յ(hU㶕{٪_Cv=ESv"TQ"Ol׵׆RGqB-K'< @bVy}ο ˔bVyOeNin7TiE^c)npXIH4˜;fHWG!bjUp%Sմ E6M2 74V|[wKwz՝4S%lU$)߈Hlougso$ogw Ui ژ6GFƆj4uZn(O VzXI#%\-Ëgp9TG=M"uI2F ]]0yOl>`duFqƦl E[ZmobHVEb^ h2[Uy߅i$@s'Zlc FRn>._nܶ$/0s/9z\Ҳ\WeOƕH ΊGozĉ7!]5l2>z^sR<&l̫(?du J\[[pGu&%gYZ