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 , ]/ Weight_Balanced_Trees:threads=4elapsed=14.842cpu=41.300gc=1.712factor=2.787zXZִF! v]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]̼A -s/2گE9+Q]7Wǰbgx5}4sL:}S+ST%(8dxD{&VSr&imϗү5CGJf; V"Sg*R/Ͻ'H.y5Z84縱J:ІaB=D{-׻# Bc|CG󤛍fCES/P8@a6?y~NxS:#K5 PLqFFGu>sA^O`^.t0Xpx7T YS2irDv9Qțf#QFu7ŭ_uEaU ? `߿餡uu\+x4rt'ߋqXzlvpȱ?}k#ZIbT\ Rrel:e֧:ʾUylNQ̠Bԗǟ ᛚ4<6'H`{ul͚@'$ 9F?>Cǚ v7MFH@YH+嶠@=j]9~LI>ƶ[&CkL[: ~XgYZ7zXZִF! >]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻hmSB]j 8/m >Gnб6OuN? [p6U;S5\.#Xf\^9[N;OEy_!WW/P x \1ZQuk~͝aNļ V spR}8EgVd7 o2*oXefOe߱gYZ7zXZִF! g3]ŗXi%L S=dFrx_; Wt~z~Y*`BqJ%wGBNohO³30.tZ;$~Ř=)"i78~tsi_aKx?GPD%: ]ƖWC45<,v/|,ޭɍ4v0Pz{fr{91s^'X`ݹʈO! ;KB-Tܮ螇ai' ͍ZxؿIwe`ʀWe1FkEDeaصvu"h$0v/nF^+, k]r8{#Rz(l}66Hw2ya$vnDӰD" _yڱ-$\RR $p+ $SH`jCC bDF̂VYXc,+7& x0~}_#{#&z [AXAY]Jtb >Pm1OZ l"_*|Ngc=? ZX_X9"F7xeg wڒzOQ mMo7U )Hʗ#J Z2Q4Ʉ !@ErR\IeG!*m^30|$"B;ꡔԞ.̵ncS;GoĊKQ@DU@Q%ke"v KqSg [$uYzӧlrZnI_ndߦ Я9 .,> PC;cp:6 2U~xRHӅˈ BU6"oW'{0;XfqVOq ;MSsAZuHL 8䈚f#L"RF⭠0ƶb LL:\1#yZ=ו$l;(%'ii:m/^UIL.` f}^rLsP€P(%E9僋L:WIB2 n^3'^ou IaJ9㞋:H>$w|zExgq KNzu>6yErف) As jr6=lJW ^푞А͜V6ŕk@ZXQW6M_$v 쁕fmh9'FV{4e d5'hqYF/HP,S"8+A sނtxBY6@cW갆Bjľf>/]xr]0Κ+0њ"ңx]1B/0X4T N}a=Eԙԫn Kzʉا2VGYM{à0h*B3xT&غDt]$qpr` =THB ܯv B;̕ԞXEx_Shו/&ůڭbti⼦R */gYZe4017c4ad81a969041735835e3f42b4038610624d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 7 Weight_Balanced_Trees