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 vv5 d$ ] Priority_Queue_Braun:threads=4elapsed=18.763cpu=50.160gc=1.008factor=2.677zXZִF! b]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫vF184wJI[].; Di*F!i 癴:ڊdnExOu.SoԊ1^12Cؿ9Go#ڥF~Pm3CXQ|]ت8=-ҵU!y㿼" 9-S:ASRwMWvy[F.JZk|^7iv֛toAVm|C3p@ /`3͗6MKjҘez9)p6Xz~23J8e8@ߴkS ${ hkFô0 5QTjߪ8c%/nݭ_cgrh_S$saƑ̈́ERQ(p6Jn_p}21kWUi%M s gYZ7zXZִF! ~]ŗXi%L S2Sh}]>Jsλ / _|Dtl0<{#g+r t[>9+*W}nwid5畾5-)̾v^S-ZGXdHe!Zw2>1jΌptB 0Q,HmUD#die`9n4Vh(#3#hEꈥ7-1*g7\NaHmtzאskMar01,_.S>>k]YU!E/j6Cu0mlsm {%zd_Yd2T:yׅJ>#8GrjIDq(AOd~6; 1 6HUBb${92dj_In,|T&5"3鲤`ͷZy2%)ry'ř*t!,Ȳe{(|WXrT„E7kN൙8iѣ,#LL}tv3La+ǽ J_0.P`'?uu1m2K݈m#bzZ&>٤M1\;@|YԺ/QhwA760*af^}ew2+lF)ߤ,~Foо ρa/*v+-~p-5)bE9 >~aUJ5Ӻ*幮RT݆/sSϦ߄.9uPd[ aR>DEper-퍖cQɎ\z~^[PM̼>JKޞrmԻH5\#;Pi)^|5ׁMwܮn>ifg,zywȡĮ@jG&x@a^lכ.:ӣMk=!+,wxcJf&ڔI_n l!aqNL %θ­QۿW9 yLj"/"c*V>W$PÀ{*Py,F%c;h~Be]oY{2(ښV^6M}R4ǫ\O-F[u8^G;9BmZ*RQMP>&9c ,=A# 9 dc OAa_lb2Ry>)ZtBiU\drU1䘟YWdЄF^E  n' }'/2P0h&xj:d|ao J(LCȝ`boEBW2/ng;RA Gyc0g'FzHU( Ux_caI{-s)(N01>,SҪvy: $~>r w ٞ\tg7> 43# rCA ^lSEM4~Ċ~bTe5'͵gYZ12ecf227b37b17912ad6010b495988edaf72af42d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 5 Priority_Queue_Braun