SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  dt ]w]Routing:threads=2elapsed=17.574cpu=32.120gc=1.048factor=1.837zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k$ |o|]]-cJw>]~8Bev Н9%ٔe|]3-, nrh iL&m oaԮ{j+5 [ IU(~v= 2pWk; qm}r,8j[k0X,CRq+:A2ТFu9p,Sen-JZ评ac-rp58%g;0Ϝ. 3zz~*ӊ<22eB&IWHW7sVEW1XgYZ7zXZִF! Y$]ŗXi%6Sr|{Z\!vZJѣi[bNWןUdCDV{|e݆9k٧I 'r A'chͲOr >ghц :@,}P zC6SkD I/7&BQJ_'ZP&GhyPpB6k[."{9 4jnLL2,Lަhp'޷BrA4΀=֨6PU;WLˆ=/LSN(L&ˌHٙ?ثy @K ߄F3O}Kڐagzaynd]+Y4'0ՆϨh1m;;H4PWw^H+eS0Eqִ-#X n~))PRvMi w)"$M˿ք=!ns ţk""qUY39\NZ}aqn# S$[O~epzlj79?f??UQ̱O"d-*6wAM8yh^4+ٺ$5}|87ҘYo64iŷ_}fa;Z*Ӊ:0\:^Kt*֛u]C95 Y:&xig,Ȅvnwf>r4x,Y}_Puٟ-߿Zt`ct9 c<*]خ(ch<,^?F޳zRj|8DPUAcj]w.FT h zލ]ysA՟r?Y%ŘI5jOof%WW3A*p^nճV`E$% Ңh-K$>ŝ)_ϗ%4'`cP1|xA/W ?EVj츗y/#-C-+TI/34BrwZm' )u"Yi E[v"/Eb;Mf/ t%r& 7(1gYZ8f3e1416c05d0d2fa5df27535e0f3296be8f5244e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e 5f0d6edfaf98a7654a8b895afc1d6a767f084658 e7d9538b18595a9189d0bfb65fe05d6b382c0aee 7ba7232ab8e176c643df053e23f96541ae04592af41c2f0ed4729698ce89a13e7bbfd4b97528bf79   Routing