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 ##Z lt w]Routing:threads=2elapsed=18.173cpu=33.336gc=0.884factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡O44UrvP 嫹DG$c?sF2SjMWؚj2<( O 4 |pZ7 f0*T/W<!ֽ\jiy*Z E=clZw&ҹIUqm%;ܦɲV.GDjsr8TFW$nejB2|+ěH(L%ȆB+>gtm]Ť("6!d^dp mKCIzw){QZv-!7VH5KR=xVAm~swsG*+Lgz>1DV%{}S7 .\ɉ뵠ZHCn;՟9V=5,q7pndm D  vM/63ĐFs8i{Bk0\qՖ=Ig-9n?`;tkz9wY9cF*AzK{X%I/V =:FBC y>Q}\+T5QJEsD4V;S+/Br5%!hoºR0]nDw(xZ;t8/r}ZxNͶ'n~p=ݼiS=rH#0t,2~>evF4B>ey W.LPFR`~y#vy x=72GZT"ە(H+ݕ; _LnB j߼EY-r[7k}<6TuS҄'e0w:.nM-|_Ȧ+PxvSqt=6HNdt%Ґ B׾wa\p=$VVd;[NOu%zq$ jgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba091820ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 a0928bf0d4d306447c01e416d5b3533aef04b4a0 80efd6910f60610da759ba57f73dbf58728ad0de 36cc2aa91a8e91615b8c8174bd4733a16ebf35d5877f6850b0f08404f320d784a279e0ccb97ab51a   Routing