SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 37  \ ]/]Priority_Search_Trees:threads=4elapsed=17.818cpu=39.120gc=2.616factor=2.207zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]̼A vjԒN( D$ۥI'&> EI]HzF/nI@^mgFo;~S7ۨ#ϑSh2ғ}HʥIbBAٖFjUA_ML: B**I4K\8  {AzO^ _F= fCB8LN[˕VELeW a D3JJ*:OqCa|pXjbOgάU f<_xb"Z,O!rTONL}Tk3n#|7DD[SJwHLJ|8F9 0ZONR\RS*SqK{=Yf?}}ao(ϣxXdbzmMޤWLHW#ǎ^#-e,s.J!_ 4YZpIɫgrϙMZWb@z3&r';լ*YSL/4w-1(?2{@C \e{YUx/ţfǪ v*_)>j $*fjbiŻ7g`CG6EZ)KÖ T$^H2\p.ʮ"JeB,:3d>!G+mH\z8/vh̒ B ǏJّj`iCR̄ԧy|М`rPƙ鶨y z$Imb~Dᠨ rY*Sv$y!5k{Nt 7t,n`֛ Mr:6$d_x`um_Coh>0ԱgYZ7zXZִF! w%]ŗXi%L R[&EA.:̶Z NY/ȯ_C> cW(y9A}_FopG.>0!<ᏻzZ _p/fC4iC7 oGttgt!4S ؘ0Emx..dҢ( oO\ 4.i4 Q_ȝrs%4zu+KJ;5&I͡!n"b[SaJ8ok.@3Ž~[V/^.~}݊#.&9Kۋ"5xR˹ ieJŢKdCW-gWUyIq>7@gC!QgbQ[ ۃ{%te|7k+gwtRak|ᾷG*ZE<$VZE@yuO4%@n]҉qC,՛3U;{>Į/ O)m&ik$;.nf zx7W1zPƿMB׹jR+Hc6ڣn#(`ii :rPkB1+Nb%9eK$:aB֝SՄrS+d^Q25,O2F(0#χׇ`#Lg/eӝSKY_x+Z2=?q$j>p/)(%5B֔]IOߜ>_;65YI(6 b1pƔa BsPқ;`S:Q_MePqJ zGr)Uz+/m@Ey=7Bl5a+jM*"ҙ&l`jhۘV@y1KqFCMC_6^]snf xT |/w&ZX PZ9:b> JpYQe~ϵ>LN|ۿ&|;q\ӞP>+]ʡ!dI?E+(b~3o2甀zԜEdh<(\ddsQ<~#uV#QV9D"!D,^=CZJ]";㟵aG> 4c]erj铷L(eYz|L46ޥߨs 91 'ID;j\’ƽKh Y~,o y}wD_ ),ua03g }`+6mq.sBGCgA l~]S30 Ɍ peD̝qrgXW=ʶjj]k|ðhp*RG;5WQ&lmi+j{ ox8;9ċzG64~fW$9L3Gv"Vz}x=; UD at]0Z܎aJ*U9pij7שBc` eOmUs%DsUGܤI8W^=`Q ̰ڵmud˦ w8LS@M֊Cum,9Y4}IH{lJ\eg.,u~4p2ޝ5^rHM &i8;ˑ !e+u)$LQV@0|6 w=e`IL=}ceC`/8[5Mt7 P~XgbdcPW <4;i.gE~ #FUO*|"{wf z7+gYZa7061ad46714bc71a19c5851eb413e4ce3830854d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20a1c000ce9b34060a3c4759787b3733775b5d8d92 7 Priority_Search_Trees