SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 /  ]% Localization_Ring:threads=4elapsed=27.904cpu=71.572gc=0.820factor=2.567zXZִF! 5<]ŗXf[&!вIփ+LPuD^>xapFP% gaZ1X vP 1w3wڱntCtK!e!ـDW7_u݁eA8]Nb#!J7a, ad:ۗܫ\Oкz摎]D&s9 rV֨xYODZht Zv%ْ.c$>K"J昣4rPΗh(d / Localization_Ring  !VP+,Z0F=5 Qci |~9°845p4![R Y[ ٘s֓udҙgr6Ts7tΏeY\y*s: qJވ޻Yc~F˯]xlc.1]Tԝfq!k֯9HPmTϜ2yf ~K3hU6hTS jcG{yM9]/s驡a(WJރ+urU9.1YEpCg UwNM 8{j(8<VpV,xG!Q7 pN)7\Q &h\YgQ` [ԪQna¯Y0yi 8Tt}x롔zԬDt#bS]S$QOXq_K0lP:t ꭧBNh"uHyD<C5tz<#X n4 ](;s`a jb뛾Ah{w 8$$;[܏k rgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@Fy~YILKg87K|^g94O;hi]S&L_,DV$L5Y劇y93ǥ? #{]󛕧rqۣ0nb)6ޣJS:"gs"b81(Rqx*ʧ0&BV% D`\1ZE*2IJp(29`//m(Ě,YhhiJ7D&o_Oj1 C'TEd >0Я9qFT1iYPlsY8N4㬠8CX]JtT4iCCzs_*90b2 s5:)^$I_Dӻi‰ƙpvVLRڠ&eo#e d `ܢpMxѰ)ҁ܄px7I_ϛ[x?g0H ~b|bSw _TާP@P]@IWy#(y3CvizwfIqOIvãkɞՍyڍf _Ҋ }_E^,-`JY@1LÕP[?}]4L_- bdyԛiH$Ub<dL1" lA>ꗿv!g#~ͬ1Ua CإC{KX\3fxLSl\XW岰m)j9q8~q\c%dɶZٚl=6ԭ)(| SR$}5Itmi1Xpk;΃d\kcN5ZyQM^n([Jv>u)T=4>T3W"ME!N4-B%@lTz$.VTY3:VCLF'n/nE5 jE%- M%{Kpk~}%تb.aT gKL:Yʵa z7ܾ)fub'lv+Z#Қ6&Ũ(րq#Z\,W&cxtGAɻe}F㙓LKh64C$Rۇ 2MGE׌2MF;s~w,υ; &NJ{JdZQ7R>A_ˊSiS$1<:rO5b̐K6ٙ s.&rj9kV/;駮/M!$)v@Px1a-Q+3U\`?Gѯ57W\NŅˀ\{svqs1d1>jnhQX(&ȩ}$ Q[םxN: cZzClͲ&k@767Aݤ7@*h@?ѱb1CW}LxS^"|DUOAMt-Qhs 4pK?PGxaOMI8v~$@v2E a U\`oɆHIςlV4E+Ry'sX#]r7xBo=h9bQ, +|Q5yoiBڽRS hݟKp%u*0DXG/3ݔn%͌Q8MppNˋD˺yr2LHF͂cқpXtN.bf"&*b[4,I>ܽsD\yWσFp8.V|&"C4~ox^Y `y.\I.2}:+#UqG c.gbdvlRd(wuCn] >n+S(zRlhvq8[EF*<?U㏵{`{jM7O/³^&vds/s#mUju ?]f!~c88j}1?e`K>D@\!>jMjf?v2\Mw:i 1N{OӸ*N*[2DE