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 Stream-Fusion:threads=2elapsed=9.797cpu=13.232gc=0.448factor=1.357zXZִF! 1]ŗXf1-qN ~m{4vW||MXɷ-ֹ{/_Kα&w/禎j}cC۷Vu坵 _TcP6ϒ9C{\5w/s#R3u䀳jm^;5m2Gb?)/xoxߡLZpVehz5[e& 5w(vW4HEy269ES3(y1UuUu }Y4-8/Һ H-s 4k=s)C-ӣs3]K *Y[:+kyVJm_[R ' Stream-FusionB|29q4@%T-~3ǓZh/pR*w ny;\g"A@Q<g+|+],ZL+m&~uLKΰt'YTxAn,8~7W;e[ v_ `A؜;W.{[ ]zbj0{GT"LU\&eQWΛת.?8Wbhf)<hC[ܓ3*t·es2ZV_HHN>Rcuc6egYZ7zXZִF! 7]ŗXi%?59G &2荒B,o& zfͽ~%k\##C:s ȚJ&OfiOck=emە|Δ!&c, '?zH:62LlMڎH[31([h#JI p-a: u7P|eG}-2|w-N{ X8]A[ 6Fh̿UqۻM0>֐1oen\gcr|5vj_7ݿϤ+0p͐+䜻7}Gl AIŖj3AҗAG >dx7sz4O=ƕN~L"rT$o#I3gu6_SKKƦ#s@$MZJKB{/8_I{t-j%I=:WW`Q̢U_P y_kJv/6vBxH4C_[(s-(,ȶWiif 3SoC^&~g 8_.x2@vG]G Hv‰ 8v{4Ogqjh(I" R>!{Rt.+DIzC0R^&fz@C#fZvjMqxT7H-.:"Myu#z[^iI0>Ttu/o4u(5 1mex=SKW}0ft/lb]]0댑y[@,U}ܝ!x6AMN'R-A.P"4&, Vɉ!GURrr )Rs8YQEk KWwepaN<=u_E}V c?AEǤw~m/gK'@eKe鍎<gv4Su&kREu](fJ=S(d임KH!ohgYZ37a95c2fcd5d24caa95733bfc47808e1feb2d551 42949db6ca1e816bbd53202dcffa7c9052e84a7a 6480eca7d8d16630f0177ff98440fb9d1dff0620 73440a138915a52072d6581aec1a0c9a8843a599 b7b14edc8440e9659a16359aa649e8c83a02d145 cff87a26bfefa53cbc862b26d6811c5331c0cf0d ff2ceeb55b02bb63f9f48145c6e73772e2f7d5f8878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 bce012b53cf78e01b5677362d40ca3b82afb8fb6