SQLite format 3@ .  YYQ77Atableisabelle_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, "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 v < % Trie:threads=2elapsed=21.646cpu=23.556gc=0.980factor=1.097zXZִF! "]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h Dnקk;K\ 9r&~]XZq \i^g\I) H V>ӝs[T| d@)woBdMIUK,r|zm g9C6s_ILOH ѻ#q rSc)=0i(m24(ifpȄjT+P(!אbM0ڰc.&A"³IDt'a@>ЈEUǿ#ͷ " ʠ Eij[]|9Tc1p ׉AMe"KVYM@A"Dg/wtin<3 t֒VbɚajL fv#Hi{Le0El])j ͻh74&`d=gM$77`A^Kvr6_eMVT8҂z!R^B'w"6g\`odPD*@h5l`\)n%[4\,[ `cI8Vғj:@k'<,{<޶@auԣhsv~W_w^MŸ ܓ#LcNBj-E9[Dt"ʏb.;v!PhrQ+P8zHs_rNR# ֽwF"cLBg %8̄-%WrMIR.4Z#!]v#16p6C ta8wezG_M .MzOg9& -r 5oz"'K,0Ysx; j&+GWݗKq⋍ Pjv1>( ףdKHP,͖)S=@Uݫz;aB /,Q܏N=vK(4H$nڧx{| VԍgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3  Trie