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 $$I 4 w]Routing:threads=2elapsed=19.049cpu=34.060gc=1.080factor=1.797zXZִF! $L]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL foQ~}    RoutingL n-{]u=[އX65šlJ=&andaWvZ;$3΄v].~k܎ S1HH|Oɝap(rښޣ0 : ]mIE>)ǐW skV颬Yb0R2B/Q~5kQ[VPMZD ^EnNyQwZCDd򯲆OSd^yl;g쓙F.8m a;$6܉m^ǛwY :ɮ>!AϪҢ";^ڵx(~vx he_B)9 8Ϗrk8gdé R!]h.L0Eg W[hSd,i$$;+N*9Qpw S0f/Z>/ƌ5HgYZ7zXZִF! d=]ŗXi%H퇃ʭ0䬥L]mF.²\!TSʷEDn0O$O2M(xWa ~tR$&/r2FkQC- c /m 0D!,h!nk*< ,>s2# (G&! dJ8¶_[C̒F}mf8G)ɍo'߹4UKU_gO=EYXoN*}A cV k\ +*tYY]e.FPe"k~v>Y/|H7umb0QŦ5bz65 7+7֌:Ĉ=l Ѐ,Y"R:Ktiqy*tZ#08¬"omEVFfPmO|y eLZm~ qE] ̷gτ}.(l)|a bD 0g'zX0LK A'[Wd_:[ 3n.2eX# TVMwk= aFsei零ʖJX~{-٦ 4U[`H{KVgBsQ%`LQrq d3$c@hAb8 f@m'PƆE̯I$쫸NYIJnb .xނ3dv=PaOwhZsBI2)dUmErr`<#\iT* 4(oG U5I '̝͞GEm}BsAՌp1Q@âYa3g$j^y s; \mapEWыXC΅ [鸫L?_LdeMa+Ÿw x<Ɩ}>s'Ok:?4fD%%Jq2rڐJ#mdS:^&y_nl4_׆ Ӣ#>j*6(> - s.δ'C`#KK۸R껋aZdϣۣ1_/6&>}^J]-wDỏ ۥОDYgðWۂ˙\4] {gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 62a1d8d96f45018326331062cc8afc64f10989ec 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde658c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 e1bb3d5daa38a8639b3a69887a2c14585546e449 6e00871fb5f94dd6fd823cbe0eb2f128d664eb83 9b8f3ef99a3708015c514d3bd176fc5e47ae0393 b0bafc3928118c6a9763dd8653d0785b91badfb87f12df028625443fad36d687fb46ea2c240aa640