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 tty d< w]Routing:threads=2elapsed=17.867cpu=32.932gc=1.048factor=1.847zXZִF! "]ŗXf1-   Routing%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLunX/O ٥&Rғ@V;vCRN/'-R.[Ȉ*<+N 2W'Wh{YT~xNzȍ5. t +c5O؆IԊ3E 96 /,jUT6#҈Kkck:liBp}.]u?rӾ4iQ6Qs1y?a .yVkQNΚN#y&ʇN wcِYGXA^@V(TpߑXdwQEn߶\6N1Yh@ 17r~(H [+O!⛕])̸ ^\oٜ?Mqo5_uIn9*ɯ[V*TpnsK/H0g8FPňq} Rt1ftgyt(`M12-{5|G9jv0N+ KFԐZ_CE9+u#gYZ7zXZִF! []ŗXi%DQ8xݣ8z$E]?P%$k;ǤmredOYN&$W񟐞gq?JPaEF満oM8 ^aqn;\Q@~V]7OP(X>̯^KUȧ~E}n<#z+C5hm[uٕd4IeoǮ/&ODm6xmg=:q KqOsxdA%/sz$r슥Һ'nJ,e'!>,2e%Yȋu f_MqaMY"Eۜ=7 WN+Fa]˲/xz5ˈ;yRHzו3 dCA͏(uTs#bÝ[ I=IGȻo0DhM!tRU:':[|~ {V'鿘xD ݎGwS6B2'9 ^q̟-()'ѰcLȆzXlħwu5@ (rdˍy3Ӟ [ pV)GvG뫈`]-5vnqùp~!g/i]jciR,MPIsݭun -m"kIs?do=%2Jv A4]({91ʳoe KCy8(lhU>k9݊Q;G?>MP]r1身*Pɺ4Z Wc[ֵx}vFC|]oh-[(ɓ^->KaG0H 8~^S+]a?fg,ŀ]|_+ځRA icTA[;xqj1˹IၒID[>S1"@}K>dT7SAzX,RF -TgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 62a1d8d96f45018326331062cc8afc64f10989ec 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde657df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f42160 f4c3b1a8715b8668e2e580ad0b0d9ada08b98571 9522b1c5d2ba73b26dd80a4375444cd64479884b f1495a73f855f7dc0375492db1b08bc26a059bae3fa463f8771236d463590e6c9e3b2c4d6e9768d1