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 CC: |$ w]Routing:threads=2elapsed=17.796cpu=32.544gc=1.124factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡c^W/CrUbe4+ -z:jX$X4lrAj<% /EN-`VhgB7Gh)D|NߠF&"י`RetĮ%ʮN `qH B:.:cU9$I8uzPU;WY{fYuN\Zզ%9d LޑO# VTjyApuEhMeS_V2!4;+gYZ7zXZִF! [ ]ŗXi%+816\)Y .U Wb)Und|TI 4j1 ,w'qSS*xƁZ '؃ xbenULywByƔ(V*@pICm 2(n)=[P^"9pE SگԍXƣ:pF[Ƥw.mD퉢d+=~J>LCyMxZ|G4XqJP.?TO-K0-|ږsi~~yܟD;wYvwv=9r'D= >9p]$}$I!"T9 g+e[[ CR"(#2,S,Q 'J}p;i&mS3Է䣮}09'd,avqrOK [Xfl C2¯ymN⫼K"xքgGCgx0Jx+Z' ׬/-ShmI]WJ_[BBIe}FI^SM-P 4K;Ҵc%{8D3L\Zr>9p en5H䚣Pp7s=_Y>DR1/&kIǺR)q s]ZM '14I4RvCcuFz 9>M'eF~S?- @>ةr1](.'=u*""- )FY I;EJoooT ȡ#grN?jvLq?WO~V<3,'ᐅa.1g΂X#NsdzDwJbmO{N+鹗 ( : 6LRe PJ͔Ʀrywp U4.ƎTaDc+qC#w-_LR \c3og~@zE1챘@rnQ3K>-T|&CXRSw~n&(5HS-i:羓T0~nw1\N8yӎP^a]?.PMC; DLgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba091820ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 a0928bf0d4d306447c01e416d5b3533aef04b4a0 d20d8eb9ac284f44db719c50c18b19d17919ff4a 3909c37f6e26c334e3ee1c3d1049a60df30772ceb0ec5dc13d7fdcbaa4856656e7f651822fc38a1a   Routing