SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 s7 LT, ]/ Weight_Balanced_Trees:threads=2elapsed=19.958cpu=37.204gc=1.452factor=1.867zXZִF! a]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɶTtms\;, b(##@9RNv'ꞯ\O1D##(;y #gɩ)% E2Ipτ|&nD/X&)!وsI4|]#!^(TToY?aNݼ#a#NݔXAgKY 0>x%xYzW`s{lDZs31TdBVo`]rR#o#hVQn}ֺ2tTvzAgqr/6`[U)f= }wTĚ\>BС:>O%>R^yk!NNSPM^=r5bdnP l4BѲ ke2- @Pjl{!>IXӭP)ߩxޔ > /1X)&4\L9gYZ7zXZִF! V]ŗXiɟ㶱4ܵSęҸ?c-;#:lH>lkw6kG;^pD*Q|^80pV"aEݘu@ZIRHm# }I/S`aA0a"79?gu |xaY%" 7sF9F3Y:' 1a(OU?7_GD"Q뱷v8h, pؠg Tbn+gYZ7zXZִF! nN]ŗXi%>g>L[QkZU۷8f|r((,[a"p;R߭<Ě\#I۪7.M`pU xKԡmS^L)E{~"0&,ND-V#u fI{t_xU?7QG"_o<ƭaȣs爞p}R J2]+Өk)-a) H^U1 gdw 2eEKVp= !n ~ʩTF(c7}-pv\ 9?(E ݢLɩ[Aiqȫ 䠁S/l_0Z9* JjYߘدV4a]pC &Qp+sb:Ղ4T3s]¿xr>JN2O' yc>&G9e CjvzCU>7KPL 01), E&~m q"ս]O0k>l_}[G(N&,>kԘd@[#7vǕt}/a(wtbX<mKl'(LpЁ33Q~t|b)Mhj\TB=_BNuN5X6Nr4 j@0Vg3`<ԍ>zM;{/CMisqkFr(wn(oQjg4ԈeX-rBbI!qg鶗?E$9= Ƙ(OCP3X'(yI+;L -Lתkw8L*~[{:UORCgb|1TZ5Ly%׽С N^+1|++!2U\3gxZNxiKWUY1N/ny' ,SehSA_sq@@o~ a=gYZ31f6310101094405e531ac5bac9f3fe2990a90f0767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 7 Weight_Balanced_Trees