SQLite format 3@ . BBh77otableisabelle_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  / l$$ ] Well_Quasi_Orders:threads=2elapsed=27.056cpu=48.620gc=2.884factor=1.807zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ5WN~U͏ssK9={+y-^&!0-XJ8^*4P}y=!6QިN=;8<4 yK_205M]#Zm@&A ]~cV?9_bJyX[#BNLYOդCѫ8`q]1wS&E1?Y#-)kWlPYICg"WUegWLkEMYk%31 '&o!)";%oDR:JHw@/LϏUO9qGY&I-PG?b!C`8O,R  B^?TKw{ͷz 3SuB_և|.jJhTuULU\Dh0k׿e|c \lNm8:>Mj 1zС:M)2~Փ D~22g76] jntO1j`|2DSK-^ w{Rzw;$L\ "HcT僽=-š`9N{޲3Dc^{W*3#6׳4hުOn5e,~^ nZ<1עoLSٍ Ki߄ v▇jDER+?-uq~e\`RB)w7Dc+ o/Y^w~L0~G2.nUI hE6Nk9x; Q(ePfHw%

O@dt {. oaw^ ?s~'_ۖp]X4OR,*=4 g; jF:dP:>Hv+#]ʖսTt b;DzRTk0 Sj7FiJwH9K8ĬDX%X6#^ICF=˹[7ٻ9k X8W`ZhIT+#{P`H{p}L5=_,Q.9MxBlU"Lf3*[=lP lUv.+sR-inlӣLNkpEb0'enS܈o(0{qɮ1abPzЀ%9=o?-ƱgYZ7zXZִF! l]ŗXi%;i& lUy^<`x7-E[ޒ`RDq3ͼNj(rjvV!tۃn[RtXNe)J, Tg8m9hZnUWmNd6`U{<'tt< g=݌zp(X߳;U*iSť*#*$EP6FEz*o|gV8Ls5qx GjZbdsSТԾ3Nqof0-$)َK!u\K_q]jP? C{]L^e5i\נ/txY!bWq5j8M%ixJM)(Scd_b\I̱bn;9w2y*I"5)c5] wJÖʴd#ȸ1w7sn <$7;Q/P|"KQ>LZR[#ȷ2j[Յ`zbR0kנRH87)i8_U(=0_1_+$aȅ 7\Իн`Ķu^,F!FEf3;6ku"GIJF!lPZF71ZSDǘ:ɺ morfI&4KED]CYDZ3{Qr2e-Н7]U6ﮍ@:C&3 wo9^9\|c˝UkiX\6+K4RCiW:qx6}(zG#0{k6NJE#Q4)ܫ-PjN  W4i (+CvQŕI-ڞFyi$U WB;5/;1㼔\þ[B`)]exJBj }kμ,yr9kT;.iSBWz=Ƣ?)Qovh)sCk_79Wu*|:"3*ڢրLGIv#ƔH3Mk-sĐc3=\k2( C3~8\pJ;*Au9edfr=3lӕ90LdWҴzL͢q? /1s;xz˧qhҧ|ȥ*/  6n௶O]v94q^- hLzwhgYZ6b9314b96ac31aa04a7d7383585a11757447fd3e273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 / Well_Quasi_Orders