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 K# D$d ]%]Random_BSTs:threads=4elapsed=8.210cpu=16.252gc=0.820factor=1.987zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx}t2>N˭F\\bjQ|{ܞMHQ 稌ףTƼǼW), c$o8^Roq5/5pS L9$.ʝO=Ym^*T H)kls^cPH jq0׊ZS]AL>C[t>hg޶3 ; g%N퍠@-cU?qrv nSphH;C4=5tqq2ekOQ8W<gYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻'THt!C;`[ D6j,kT2,"{ʇ)g⸓+Nѐ$w/Saoo҅7a9̀T74~!!B~4P8Y&\LrgYZ7zXZִF! B]ŗXi%B.6ȃaX&=`\t-;-Gdwe**`%"6$V*}pkfUH4BHM.ac]`/Q&(d9Je*@:3]KƳ9}3j4Q'5ҏJOigly }ȋ;g%LtǬ)=3PI BEشo/wKoa}u?ղ+ Rьpk%P)*Tݱn]X{ϯ~ k!2%Ro{nT5qO@Pf5FNlbݤ9{ǭvgб @OH[99 <]΀}^\෵oȫqj8\EAhտ#dĄ[1x]&Dw6<#4k%/ڝ#eM@eBX!)K(j8) MYÀ]~?̶K({hIN?rg-IנaJ̈η߽d_i( ?6h#=̘]ȇMX_k+yCX@N<M|-rϖ=iU{kd8ntL(Ƅ_P,M@G5}/(<5X&NM~" lk 8h!A"ܤ)9+i$.V'NU.mXL)SuD嗰оUնFMP9b>v˷15F#bJm&ɯ-wrQ_ $uNY{e!&Iް%&I99U¿D. ™jY„yq@2(ꕛj 'ʏSjVmΡ<Jz ?#qXSPoLqM._{[7oAybAIGʘ[bύ\)i=Al=Bm^Fk Iqy}uy_YgxyD^_w( :NԢfʏ^Dn妉2;LD XiɾT)h*ӐBgx|c agYZ4d1b1f60db65a7e20743a9229d626110622e32383853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 eff3c994bb1fdb08815e8dfdd79dd4546fcdedbf 31727c4322a509c791765122a58c7cc9bb8112fd0047c6d741aa6c3c307ecd50dbd77ecd46cc6f1f # Random_BSTs