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 jj# <$| ]%]Random_BSTs:threads=4elapsed=8.786cpu=16.760gc=0.768factor=1.917zXZִF! K]ŗXf1-q恈%kV^M[-xpƨ^9P9*r%Wԗz73d5^(y&; 2򼁋k) usgS1q+lpf꫁;!Yf6C$[3IՈgJ><98٭mdNUxkިM(3hBS!Rz6NM:Wjr<&aCSZ’N]_g?wpy+|@s!Yc6I]g =F ̆/wO.e M !;Ѝm[\>CNd;߷WP;<fZ6zVF( hO>`B&AZ~xU,)07hmrL;lhCUĕ?gYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떼d 0wh~H L@]ʀ>K,s- e5/Q˲ҧui ώZfY^}Tw|TQ O NO=5QM& HIIzvX"{梪 ۄgYZ7zXZִF! H:]ŗXi%Bh|vFlGFGhu= ќ2lc?5NG5DLwTڔrooRlCCL J>Cz|SU>7xUo&jMF fW 9?g al1uwG="RyHÑԕ,$C+mOB/ނ~>;#H,+ؐ8k5KM d mi0[%J)ĮXFj'6 dN"?,|.U=(@LPãێ^.g&JeKQ'+m;>6@D9iGVe1m|/x+K .Nje k%ף&1C$Ъkgچל3CF2j 1R7r时N=ٿ)u }{q}=_ 7-h,Ah9flfYLcFt6x%svrQ} 70mcWn |jss`lq޳>1ByxܤdQ@v+7L#DY.PE3,]a=`+pt PG\QE"`\\}&V6VENb~*`S|OʚkXk9n+3rA9'D)s !VT+4+!M<̈́##+@ѬW0*1߇@-K~ߥfH+l}a9q#^$D`sY&5?Y—g^ڎAGց:L?ꨭ IqgYZ60f73165db8990772b7c12696490f745f8043c223853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 9dbbd42654a9533aceb82dfe50dabae7d33fb02c ec390a92271059cfa2cc5e5aec9b1d5e3b1816f3 6c97a9b95263f0193af2e3b2a47d4a8e59f2d669966c4b0c50be3cb9183309d8efe6e13d7ed8b824 # Random_BSTs