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 7 d| ]/ Weight_Balanced_Trees:threads=4elapsed=16.365cpu=42.932gc=1.976factor=2.627zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]'D .N[-`ZlI%2p#ׅrQm;[Jrt={AUq 9U1+ŠRgYZ7zXZִF! >]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻$a#N y+qu7Xoy:;)Bu9ep))R*Ǔ[AϋY%-\0`р2:ܑIXYΟtٜ'iv,in(u۶7+?dZ^NbǞZP'qk\5"񀦨{}A h\[j#l`8je߱gYZ7zXZִF! rTu]ŗXi%L m] <_= 3t'4ڤ;ݧ\j$@<hcr|+O0ơp[Rʁ%E6,p0y.JUI.~ 0o܆>x,M(RtUCڰ8 WkE}G.ljҎƛףgD:H߼o6] XWuZ =\=278Y{f.WS7xIQΧ@ʻ!`]|RUCn.\+4䨾?DF)mJZz/w?ъS>ms?n]/0Jٞ骮У  >bm|#fG(A _k.'7tc*V'I&<}\Zrs7`Cqwju2wO7CznU:b:v ֚8o`p#+ N (Wh=dX>]4iVmg 0>-d,S/ݺD^ȋݚ[Mhu3t~R킨lZ ?+|=byܕA^ z@W΅sev`t<;qccDr@>'!O-ܔ ۋUIƿb#,]r5vv*x\ \!?E>'"z#LTIt2EzOJ_iMK`{$ v5KhV·1G\ӟwrJ[ Yɣ Y9x|Q;#oܦX]EBs|y)\<+h=2Ls}ir,>Ьb%W`2_0X6H)=w# WY݉j\,/T?ZalǩA3}'wJ=c%,s'ۡf0J|wi8_Yo}P)&T*EO/X>a .4MܬKyUtjA|qཱུҫѵQA rY[F\N~.nP3a=,BE'1D l*=6Vd<3 pԪFc)w V!]QEK|.Ah5"5a0g,ĄM|9 IsN|E1gYZc650e6e65e3082afbe65c83a92d5f32b79f6ea74d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 7 Weight_Balanced_Trees