SQLite format 3@ .;  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 O7 l ]/ Weight_Balanced_Trees:threads=4elapsed=17.319cpu=43.548gc=2.040factor=2.517zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]TT`g,Ztƿ._Ldg ^FX S){+$[ s7V{IɒnJv)LxPh6ܧK_Tu.9M6n д_dFǏNw mUL[VX;J$/n]; -\oK_< fZ}n*c^H/x^oD nbzrckh/(c PRux8]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻u@:e60l0l*(dѶ &:VW@Rإx)r<~A6F{ !^ju ÚAr1596yFFcM#[A)8}ؚEDBMe56)×Gq9ӋְC`( ̳L8o^ևiN fR%Ie߱gYZ7zXZִF! u]ŗXi%I oĦ0u'Hr>dQj^!d}5BX6} fN^XX߶GՃ_XNk^VyrqҀt:GmzMVХ)R-eSAĤgg&]IͷA:5!A* c) ZGuC0Aǁ'ؿ+5@0&z7%E.;,`@D)ZHҊxF?\ fFmS2jI<*2U#։#f,!y*W\M,%- By;6=Vj4m;]5R@7cH!} \]82aGESY(*Y2ٗ+967hyx;YJI?" ~aBLoloȝsëyF}H;IYAhP|šuSHU@vTBV\5s AH/LGU{LO.ɉƇ6ETB)EmBvKnyC \p+C9 *38JbjȨq8ajZc͒&$eYάWIРƾjvNw&Fxv޳P`X0fؑ^Ȱ–V!*c>yƞB' TiB=4+ 'x rC+pP/1[]7 j1֧ѥAB4cO۴ /K;,N \2 m#SSs78K@GB zovx IfRµa]o}' 7ڗVTӱ\mϻðވk+]-1 xR3~[ :X^aR`@;Z<7GrpG/,pN&YGjL~Ѥ6AT%K̲Y ۲x,MeM!ipQEl7&u`6LKm^߰L z,ÃR;w/-h~ݰWC=2)V6,SF+rpџHላWMyKoKf2R`# P1!w WfsxvPBWjN ;:/Ԝs_./o'_s}ǔv.:dRAkner`s=o! Y$>atɯC`E*g 9R{/0)^kfZ-M^R(]$ s᠔ep_{C,&gGb~@y?AQ ?)(׋^O69k4&UNĤ}6ZͲ au~+N@ ?mq߿b fGHt(r\ݴ8@ ܁⊯FT"z4# 7SmO@N€ KʰI Q(Џ'FQ]pX, :F_~ $\-IJ½N sNՉ B!)Vm!d4QS0 9Ns8?~IekI[&Vlb7ϐg, ܷ^Pcl=%;;As]6g%7ҍ[됷$SINdl3%CK{ϝD8ecLe1YXPnP7SRAy.Į|VԒ\AakRI&Sp0?x~0 _k3ۢ.]NP? ي#ۑ}O+]\mvJvY*Je=~;YU? GL`[eYgYZe515cdb77609783d272506a7ca2778e981ec22815a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 7 Weight_Balanced_Trees