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 //N 4 w]Routing:threads=2elapsed=18.926cpu=35.052gc=1.080factor=1.857zXZִF! "]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kK(Z[/5'l9rZ!1Ƥq@Na2D'OqkKhMY#~[tOJD li(Bw\S®r+h) ɔw1mAN'W0"mCE)TcH;\,sϭQm>yhxAa$~zV՘'u7Mff DK=" uY7'X5!M9/A|Û9,y?*r}8¹RBm/·L =D 0A{}ν^ڐVˤMQC}=F E pUNvQ$[aWrMIL2Ṓd5%:Y<768fjOOQ1:^]U˿yI|Zq-/Rdkx'`I> !^=W lZj=8U(gY9uPT(:@jL]A'1 s۔l+~y%">rEhI.q^ExlV@?Ev.4-Z?pʼIg^fgLp4a-sZpK&>8h:>%FA==#AC3l! *+ )E{ogYZ7zXZִF! bfQ]ŗXi% r:M!ZżVu?3tXT42gփIx|V!NW@yTBϯGSQ\:9׫0֮ʩwo썳u7H~orz?˾U?8jKq]@ |jǶ* !U7Ȱu}xcnYwcjsMXuȨ)?DʡbꡡmZ;+7Hc3ʊ @``Җz=ىyyZpzT MOTl*QĠWA;5[5]nf/QW#mskS7Mo9Vc ʂ%Ӌ"beAJ [Vp6ۮK߻ӢH40 $-_HJ D5梢&7 X¾jěad+\L(\7o`Eǫ{-G^.TL?a!9FaR<>-1Iђ+:hU"K "hXEa"|T=M&ew(uN9H5^;+$B4 B_Fo6! ɾO>T1 WCSbRlZ7|AΝ dm+`ڥs0"[-EDkҞ.T.gиdi7ŇuAY@39g*9`9t(pNMxi⤶,ZS`q4{dG=j"!-BxжSNӄ}3@ӛd,fTW TT^Mz,8VFwgƕO2[u>Bמ^o%ᧅh+m֫f-gY(ɶ94Yn~ ] |*gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba09182728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 2d7e34b51e998d41ed4178afd5a302c27eed7c4c 6537eb56740b71e5b1c7a05266998b4d0d2b4fc4 0cb6c64582a451d4a934074e90422b5a580ffcee bfd93cdd0864d87f77107e635aeb2e10a2637a507e13d584c3d126f42df7e03bb7acabf60ac8e8fa   Routing