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 # <l ]%]Random_BSTs:threads=4elapsed=7.287cpu=13.736gc=0.504factor=1.897zXZִF! ;W]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($^ٷcP֜$I[t\Ͻx+CO,HiLtWUO͕͘uL$zPO>Dk 3Ip͂nG*.d\R(`tg\YȽwu]{Yb0Lv&7x? !3(҇Ţg?rj(g}rkNDө㹑5έIͯ>]^|:ǯf~CGTȃ,N6fПN ՘C;&۳'Lr etC?0M YnUQYlЅ>$2jȿUC* euXn9 (DOE^ɲnwp~r8 cͶȦ4KlgA\\LzC7  Z2/$,Jgx\>I"@oYG}wN8o @s ̲#m\)-)?9w2L݄wb&>[8^ņO4N!DbAP)z˜AJFȷSu2X*<%j8"y  *w*r`ARQXW~z4?AHuIOoj"OF A\܃iA$E?]W**8*Wx9,QQp?=9(3aA%Ab/w[Q!Է;RW8-x%ea!H%v-Û!WnyBـ[b%,:4VH S[gK{|y$IeTre! lFIJ2=fv ܹXy:ՒD;MaZAGӀgL$oCc 7@W ffIqogμ*4bDfΩ.?f[l] L3iB3 h3NUY{>JAsR=wԄ,EŸzC.1XZ$xM<','R"OIoq"ozw)Bab Z?vaBL_[@/30RCx㌠1%7]pnn~xP`tZS'  ~'gYZ182476ef949d35485edf160f3191142b7b87f804d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 c64e28adece30d425954200e9f2c1278da50acc4 04e6daf54b9ad74db630da87db78c89c6bed3d9393284140f40eb8325ab33189c11c3010083e5d7c # Random_BSTs