SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   ld %% Topology:threads=2elapsed=5.831cpu=11.288gc=0.864factor=1.947zXZִF! J]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#p9)c;i koW3 t=X#ANʦH0Y^qj_yeN%8[i` I['mj|v^̄Q첻u6Zkx;>%v$ɂv&}^Ĉ{B' HDGLIK:PSx?_+a[LpDpڿ㥵`fz )C㨪XiWgIF1WO^ `m(vapF4J ╚bv;Z+v$"\u}MGA5Y&mN=l -2PLyLotb8vƒ+GUP[fV*Rƽqnf4[5 rʋF1Jk( ./%NjFCTі31މ`aXv OАBK[Vrl)p_'#iT֠|{?uaJL딆&j0!թ&I-DP3b`cT软9Z½,W}VwȆFARЀsRA}\Q$.{T<eC)+loS! :<   Topology[R.PMEB:rͱ4ػa)fiF<-]N dRb2>eBzp\ȮC@G"$xN]lO~v<V |5[A_}u2[Kz-pk68NiYAeM%T' ~ :Ƌk8Uj]46~gMDUCeKWQ(C?OqEI.PDzƈ|u|80|!ĕ!G͇VDtL&3(BefP딢;Z Z4dwN7]A:&h3z s nYc4R"69Gg>76x}(.n(FފA54TFj ,:,a8G1I#, 9$۽&FkAVVf|r)r|RA_'?;W;| 511`|Յ]_-Rq"?ʭkeCH]ؽclè6Il5mךxBd(+>ks8tzS݃.UoGc0Xڌ3qhzI'zn"Ex׬Մ\B^2ۀ8Rl:nPVֽ_ĝw/Mt0OEgӏ7Κ"sljJ?] u,QZ~ رgYZ7zXZִF! %|]ŗXi%DQ롨aiX隙HߧqUkss{̖OfZ< bx FQ>w ;z$&3H=1aV8gvS_;M@&l2J/CGCBw;>ȣR߹Sf:taoZ(<6MR˙ TyE=BH(ʈˢ_$nY\yz}~t~mfAdYUV@kS]SLa"9m_t%mUz@w'`vvVnq/>W6*\IJ@J8ҕpKJ7 .W@W}d DR{ɧ V!$Xି0ŒdO,;o!4xg/5zeL-*c&4fgGS99ڋV{ɕRH2Y3]pI0A0"b1Nl =?*LӬo}{$"㪝&e%-+:HZ(|q7;NS2PvX4VUeu[I