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 6 DT w]Routing:threads=2elapsed=22.113cpu=33.744gc=1.052factor=1.537zXZִF! $]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kK.pnԃ-R+ϰwBw}_z>:i50<t W2Dy]Wr9_s&mKgdS_;RCZe]fb Oo7"[~!匞VsZ<)}z~r-<:I]@ʟoek)}hlQw@ep*MChm)!ٿ qTnaJ1<$)ƺ,)vtG5Qˋ)ßxL:U cW~GI3b($pȨH'#+P9A%4afMnG?RL: uhgK ʟ("lhh\]Ԋv]\@?^zMK>)Oasv!fpi| %k_2SF/k̠nݜr&M]tȥ\C3a9?M3`C!#?y: 2|(KvܾDN^ %:Z:G W.Tn]u_1n IRFײ^>7 #8\1a;/ C"ߥyQ=X6cyJVcSvdt3[c |uk}-{K34i)Y$W^Z2v7va_fov) k$6 x/:Gl媮sT;ߠBJI O<ƅH_kBQ$CHzD*{$4/HU-9"Й0Eu#:+л#wt"v_awO_s Iz_` lq:icl 4Jh'3;./JFۅgFZP26DKJt Ӆ1|ϡ(\5vUY1J3Y. W\_+/=9EJJ\r7t]<#[ *!ܼJxWX-pA``zNѶ?&Bb`ӈm =L0Dү /&uwuS ̬|mƛC hhsN7( 4ܦhj_01" _Ņh N2nԓ=A]--#UĀFfyvY+QgT3K=5X9M|x"YrW(  `]pYK];1@KGaGm!ap3`0co/OZf]&c2Ünc ,=6$^ N2sp? =s(w#։.Tr6eP_1ds.khUǫC1 Bevb ZwYJLhe0ҞGAuWbdЇ,Qv,2w#/g>\xA&Vd!D.Cd`ʕ7Jˬ9xҲ9dU[]"hZ?,_xu\Z=nm|WϟpUQ+/!' oF^pz*_[F>&@ ~=u)0+vȀLu%|\{)~+ К3r7K5Xa]# x߷"iE[0M˵SjΈ)yo%IgG2/E!%F}0$KEIO p]!  jogYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba09182c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 1ac972d6e73a5788daef5e25f25f1831b84e6c67 04ec826f7fe9212278e1ba2b4b05f61818ab1213 04435f87f284f16d0bea6c6b3f9797ab63b6be8b 6253daddc63b3d53190f26878deacb2dc0869cb956e826f4307836789fe7da6618a5f5b10ae29ef4   Routing