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 oo l\ w]Routing:threads=2elapsed=22.651cpu=35.028gc=0.888factor=1.557zXZִF! $Y]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kKo_CUzKUU%fFCz胱G2ە*/[@ot6# y=;^z+6a `C֓.)9@8qJ};{wƥlR+FFuPYǏ`++@}G 5vR0.g- <8Uļ a,VL8PtΞG0 7qpv|&t?F@c +nD`E Hqfg:`ʄEq< u*YߴScOҦ+ك r F{7.wMZ{^))h| e$6jڡbN63jRVf4X NQҍga|Ќ4>k9>!r8d e 1z=ubL5Usk9C&ʔѻDt+ ~e 10.8޿@ ECRMAҽt ԏ5OTٚ4 VXuf@,WՖϺ]a/ ; ےU|pzT{5IWa7Q9#~(tXJ#!<>]uabxX.?)<j"ANG$p3^y.ثŐ`H2gYZ7zXZִF! p]ŗXi%szw4diC(ԩgqghSc+_ Sb{rV-xϤAtF=]ꮑPz(q13ɨ!vM"tU%}Fs/k p] ).24|-^8lKλ=݈N!.ֽǎ+0VfB wnDՀ,ӼnlN^R]Fj gy%s]j נy=u0kG`n$bwy1c{un+c*Ah~ޱ4a/ yEd1TC/w6Ln[2CV9:%y>(RThi\ .Gqͳ6ڃcbwjS>\@2̜*B˒HWnʤ\E'9eJ%]I5F)P:ӫRYx:w:E_:E%×:M,S+V S].~=~GY]1?E@΋g^ fS_Ҽ~tC" -dA"f<'ݦk@}Nbg+iUI]%9D<5'r䩗nelP2*T8\z 1g,P h1&ٍK=p֓ay2}ٽ v^TG4c@:[|vďOK7OEpo"U9XƷ+ʶ:Y]Q'4/EVϑk<%lJ6e[԰ PA})89mnUT6!ՆѲ|e!_}ɐ#iWgtm7&2<7ڗ?6bc:ud&Ɔ6c:ߢ|E; BgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba091829711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 4e7092fa6a337d6b30870a576437a4dfc826a357 929b4ae9218b5f8a3aa6118e92157232fd3c854a 08d4f4e3d0d02234be88dbc4b20a929a690fa8ad 1a890f8f8f69c5e98138ad738a7cdada332a499e6ba3c18462f5863165dd828d41a204ebd3fa3277   Routing