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 bbI$D c/ Abortable_Linearizable_Modules:threads=2elapsed=75.931cpu=117.512gc=4.188factor=1.557zXZִF! ]i]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@T G9:^ q{1SIC1Zr.A=G6諸[ߥ*|n+(8b1Yg@MοvzLz~JBm K:0Sai)g}^ :ONZI#e g@u J̏C˟o A$D\#grZ*f\(3+sI"6448|(^p'Ӣ7&aN\U +3PXWg|~'r_׃z΅?! aB} b2VwM;gPޮV?qӇVJ]][Ђ h&iItkzI 7>nO) 7趦S}o =\t*k[7k`2(ڪf#>Igݘ2"J1y\ fX3PA] +IݏtPOBuNYxT{gz^dgTiCŠt!|:l8 X0b'eb_p5'⣚d2HT,SC LV XUL~%а2UBr?S+t1ig7kIQf;>xX8+W_2j՘:ByhE5l=/F*rs(ΒO$}tӒ Yfa څz QIQ: q5<9^Pl[ bˏ`sF`ە Ӎ̶@ l.}"y[ƀsoq]х(m^_n3=}hJOAxv:^ h*͇HB̄u%;~N˓x~H.-I0@ %pX}|7J^&ȗa$H/sRžA5cd 9MW:npxp-9)jӛM`}iHJv[ow&D7W.!k76Q{3ѦC/Zg9Ky, V:=ݒ"/uVGhR欗 PUr9*TPo\]LTo}\h &|ߚ*xԇ_tJG[-Pj`P 7.4Nzeaϙ*CgҲ <, X1t 4hgYZ7zXZִF! j_]ŗXi%}y"tLw]و\Ȇl5e9c-N dثC-d !I Abortable_Linearizable_Modules8Rs+? %2 -R{#W̩*zR潈[ ?Pgl?9P+IKZ|c L:H߼kggBVMVӫ*b!. 54 qF8OP$z)Z f?%ץ[b%-.d@so9M%Cu.w>d59Ir[Zd}'L SDa)D>)G2>Ȯ]rS/K!"|_ ׉-z(ůY\Uz\pn%eF6u SmFD8:~Ob3ș+ jQ-# T[o-Fcr#h}.L9HM$nDekGx:(teN;Is^)mCV΂-)ܐ'CIy' z=~fg w:Z'#oJ0 (gt\4!"jTi$<#XY # e-eRKT3z8ꧤg˯=y~ը H8t#˸a0wfyrHu&C9U_E~!.D'Dftυf ,~Y"uPErx(F8;3PxOTcl&tni]43;5tߙa;ٔgJ/Ӯ1Lo&o;Byu(oi_yO6vD7VJ$ՑEdI8R23gj!Z#jq?%Jn}XaקJ,wF>G0iCJI"("RXHVqvNlUOd1nyFeR!Fqye)F %DLRGܑY5Vz-nz Mũٺv83;?ZHۊ1فa8!<G1coT6uy6b}]7a(W$FOͶV|Tm *oر; ;Ƚ*!hಯtGHGN6KuatѕjkbkMpS 2g!usVxnKޥ V$kBOយ"{w)zv雉YL`+Ϗ6^ŷJjeF ?a"ht .m\W44:[3u"s<]Q)R6w~5ι!P?UN*#[S{k;h~۷|^Y s.=1RCd33wɗl 3i+NL󙈃Km YMxm濜Gq[LԜRyg`, 4i2EQ :%̨|5#UeV%[#Þs;@di>Aq [zaٿz>"elեca@Y=W{E1.xiܻt} cq|dp*oIR{hm+KzFPk7IbOz9[;:(52.Im3VϡƖm3^QC? E:ࢺp а |?٧0Qv_P/%쎫0Hs r|{_Wܮ}p7_k=ph8YMRFXb<VL76ig_[v^rh $}p]e\3[;O?͝sP-eJk;߇.=.#tW'Phlx6M7JseFDsCc]|FT݁\8S~ t콄3VesS7p+\f<%mJ{(?:W[;uRC؝c> +_{@TBc"Dϼbxg揘ѺcX]'!?vA4-0zvP3i!J%Iy X?G\щ\\L/`/kJs O *%D)9[_3qLD}[wDuΨin?KJ<@k_䚒LFZfdWvzj1ΣVv.|K=J2_#r* :*l5*0 E [p).i燡D!l#QTs4g_TysWOgp pqeț|N56+D6*9ƺPߔɘy=GA0&+(- '~ѷǫ'ƶ  S6vϞ:Oԅ4ccN x.8\[ԨQm\nC+l ,K/֗oU.QHt+],8`d" ,J?#*l KU#zz0B Go g*yN+e_ᏮDdͲ_izWn^Y Q)#R}v3{E :DbW{u3LoH /X~dz;M^ PBiǝE4ִB!T !DKɟuؚK9dcFɆhjX0X߭9O+mR,ъO]'ێB-L]@-q߱