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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 5Lll ] Priority_Queue_Braun:threads=4elapsed=17.583cpu=46.232gc=0.852factor=2.637zXZ ִF ! q`] ŗXiɟDYK<;j Fb6cBej 3s{W{rA8X-7}zU a#f(inm8pfӓaV5~PZ ƍ;bjnxd/TX`D+Gy1!Z _a݄j?%!@Lj@h̬aQ51ilPQ LwzيȻj2`Rב< Yd;~ϲ><-Zݚ76$Mbŵί,bo9R=䒈76g/ᄚOrPJ,\#RB FHV!>JGsJW+DCD~| lt29=`Iz2ݙj衫l0E0$6vVY#Wvϴ0̰Q:FA5,"^yљ>&!P~P~!M) 2:՞|q)`KFSݦ,rHbS8&,ە Gh9ĶyUy:5We j-qN=+>K!`KU4[73͞_j0`{"Ư8Qpi}+u" ?C6֦'}M 'Qa1^RL yУ"/NλÞz::6F/yq;YC_e;$=0Dx:SjN.BWA5Rg-~f`F⛚r&H֓J:mW(Ċ eRղuTMrlM=ud,(jvaWʎ憟KEޒ5͔{s)o b[mj/5^wYaݜv-]P͈7,k]a)г1\o =m7j?҇ԦQ95>j|]NvqBF$:<# Xz@gNdl:2ERZe4d$Gj em_ RYEUi=g-XcaFk54ĺՖpwJ G~Jg/,{z);P(\H8\[-YyG:J3amLXZJDDȠ<g\BJAc&D+WQE[Lz~5Y|EX'Ƙ:U ">~2CnY(a=^36tݮaIV1Ȧj?xw$T~4kgt+*I_*=K$`N 6ۇuc)?'-GGL(YMN%f8 ]?b.5C"D GP8eњcgcLYв g j6 :|F>0 ! J ã--. iZh":H-MTEe5ōxYڛK6ās9 \YIk# q ,R~䷞t(C/w9+L %}o_$Lز?17P&n6FխW,܂ˤm81P\^Bj> 5 Priority_Queue_Braun |ze?