SQLite format 3@ . BBh77otableisabelle_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 B% $, ]w]Sepref_Basic:threads=2elapsed=20.932cpu=39.968gc=1.956factor=1.917zXZִF! & ]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 з)=?v n.]wr]F;)) !y!8x[ZtWyT'\h\8&KPt},TH]F$4 en(Do TрM%m`C8XxAZ +YP |5l6mҴӫ m6H p>Iޗ.W: 24y qqe6'Rǔ>˪R_ 8dيM<;/'ǰ}g9bm;=[bXE^^eˆ6>YSܮyDr%yQ ky/^p$*S8|kXu1:eFQciLPtcss?ƨ;6/7K/Hr"AzbQgk[* RBC 3Xkm$E^r5[5M;|yX;[l{_. [VYv(H߽ˢJCܣsV 8j/@oX^Y'/q& q\S띦-=܂3OC,нE7j9 TL@4GM1߈L]`h&AŅ7̒XAEBWn`RD@z{Z+5Sr/dOЮtBoP80&0d*M/kgYZ7zXZִF! HA]ŗXiɟi%3( d+%jh -ĝF Ԋv-@VwMR#TqX読Ḉ*G; ~@Ƶsei\(`|{p,Xeug^ıϤ^ɱ+mV@=IT2kQ(KWހq:K蜽VpMfSY& mP, Xm{1@Ѷ7[|9vN}oרA>R+ ޼_j+g2_ȯ_w4sIW}Ex,6%$j?y$a=g!e1oG0!? #٢+Ǟ#ExjyOO@K|7f)ŁZߗē5cͽ+Z줓#HmMп#Z\n6LLx#g̿Y$6{F"^档~Rم'0ѳ?fNp"Co+U4?->6._oߊt%6Rsv}-53ѐ(qglFdS},IEHhSm~gYZ7zXZִF! `j]ŗXi%9(R5v G6ߓ䆶n06@b|M8-K"t -/8ͨAVOS='E\#pPvpfSޟGaI;'sL=>4,ZPy[b؋# 64B02_Nih>?=X _5V?9Ya xo;I^esww<%8jgֹtReQnrC*ϓQxpRy)ӗ | S+"K~Ƙ|'%vni^I#ix =O"c:F'p~; yyvkYڨj=Q@!!B&Y&Eô# kF*+4lgB vV@  0b:k*.U Wi*hqZ3#Ty)j JFʲAAۍD= |0Rz:/qgh._`>Lx[ 90YU9bvc!%EãS=T$OQg=`v͞-5,tA9lRS޴L7|:lG BZՀTy1(ͅҭT:ڎ\R8[Q[\pGtT2XE5pnݸف R[fr+Ep$JS{0)=撤.#5TX@4S~Tnamt[N!&=Q4M+9 ,`KA:6J]n@$&5x.WSM95K5 f%gh j~#ŕNp) p!*=Ft@#I /ʻ1+^f(w_'ݚѥן^?}7e鳬":nF"72>Bb)?@މ6;(3]@cv_+s,`,o@~du.eRuw0 \TL9& IڍE  \gYZ51e83da5be9f5993dce1aa4ad9dc0da9ab8d0df22722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 59e461f778241d0ac6835df93c20c97556764092 d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c 4a834cbc39a682ca4d823c0147ce17fe7dc250ec 864de35a40946da3be851aac422ade42e6e295bd46218bd5974b9321be04e44ee753d32665e0036f % Sepref_Basic