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  # ,| ] Optimal_BST:threads=2elapsed=20.026cpu=36.008gc=1.024factor=1.807zXZִF! :]ŗXf1-/6vR[$G~࿚#J~)G3OG`@ĐAhfl3nwBfE+$fnu'S8T4Sx C;Saqr\ŕ|=KpgwQOryu~]탑ROq|4+$3i;J0O{ rͺF^K|BfO`ى3Y*"CJV=JMkpJ_= n+I> !#] 3^]9+Hl^u~(sd+Lʾla( OczUJYmXc{jX&a=L>>! 2*]1Z4Zޝd? x+Jñѻfd"Ѧſ-]g T[O.=e.^U6abE6h( -cm@d{]QgWQ̢NT|<=߀"՟ =q1~Kg-g3E~8q 8^]2%=5k!G oxb`Oq~8ĥk|̯@U{./)4{UgYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q OzIB Kbr~uc$Or۪byj>Il:mbf&s(! Q!ݓ#5Ǟ>a _fІKŹNP g%sGWPd^0\ 6W K*xfW)JqwgYZ7zXZִF! q]ŗXi%>g}PII%_^wktCNIT=Wqs n{aSY`ίvH<sϏDJ|5Sr#!sp*6w#eAdm 4dP"=RJPJ \J1FuޅTƎ(0©c!=ih 8eK* a1WCӎ8vkX&k33c uTi I,;4UlJg`w@O+|4En{L`6 NI&+B~-N"jǹOSO?˓W.󦬖\mXez,k,}BJf[scN+2 s>j,+$i) ›PD2Cv8ZEsE2sgA|L_4ge`'J]Qn4ijM/,o7bΨ֐ӊ(pX +\R12=-eU_^sL."njzH?*YOFCT1@d7LFzkova_އKUŎ^$Or6u063RDms=bct5 !ˬ@UDƢ&B/9N(y6/Dex2h9hA:nqҿM 6D,/SQсYzb甮9_,Ht:2 h]7C1? jj~潂/ްWM*{9X҃D`d㐼x{d(knu&GB7#r5UȜ8-hglt_QPI1;3%D&-$Pᗲ=NćE $NͽkFn h]U&kS3iPH$^Yu{mnVtnzj#Z EQ1לlQk҇ʰzG6sJ: $6I!BtF1a`?ek#Z˖nkBHEh^JUU9B4N@9OcOXP%D4On=^ *K`km&#neN=A莦&7ץyϝf*P5h*z4 ,_K7i]F»+k%첽ׁcojRACP j.S%6x;\ Of3+2/DW87Zuk'ḠUY:)qYO beggYZ7963eaa3af88208bd19bb6589c3c2754e3e84fff767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 61226c51608c8efe481a5db8ff294fb7aedac56b # Optimal_BST