SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 dTd ]/ Weight_Balanced_Trees:threads=2elapsed=19.461cpu=35.784gc=1.500factor=1.847zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɿ Pna|`1wl)zrLB6,XhU3 FFf"{Ygn }ɣ^6 (UȣUfhlņG^b/%Y{A8 " Abֿ,Ek&#Ah5,.qxI%zt\=˷ rXI!:`Cݛv;Kl!!f{kF5.JdX'tV`89,\TXhqM8pg4E[k3*, "nfTΔHk*nkΣ˫#$tM(C`e`8 rY䲧z2I jS[7SI*#T g3AVlzOSEsI-U:оr.m!Ei?!rgǔqwM]6Ş~Ȕ~, +ÛAE6ؔDE ZݱB!CKǭbk8ҦrD;tشg&B / EXbnNPZ4FW K`Y+]3 ޡgYZ7zXZִF! V]ŗXiɟ㶱4ܵSęҸ?c-;#:lH>lkw?gmr!Р4hC $BE,tDͯi9f^/20)7Od5y@J/ݾΛ~_q$u,@gF6yM1/vdbxD舐hΩ GrWѝE\sLnkw0"Cym"3*63gYZ7zXZִF! l`+]ŗXi%;+*4B| A]ҭj]VJ9I> õY E< .UQP393C "o<9t.Quq0 A6pScL8[_V4:K05Ff lk[Xa0]=cs"DŽ'Ig#Eʊ1.d8F&DlIUm`MZx\y}54 ?|`i|ǖ7yb*PF0G?9)`zxl9/ ! H-ƈ1g3JCz]LbbϞ픇gy vP6Ycn ֠9R0j؊U+R.r ^d-lw̺AG#;i棶'd3uvuAP.%eLF7NgBS(bxAwjcG$@BUƝێB'~X k$A'[\C~V;͗k_:3x!VA0DP2<ԭY,i`N[?TN@q),[@;t\U#u!i?YrNSjXa hmINBw0Xb:B" X*1Y^hUk5_Qᓵޫ?"jch  (s[ %f/kk |d._ueexZ]J/[ճ U= _|2]I a`sp4(@娎Y t=LsE(|=S]6̔`xgRQm\Iuʐi%dͮ0ssư7GY餌bEi3<#oD_Gru+eJKR9SŚnXJQj"C"vFDwddH} 󍏊p\Yo&l֋[֑ifl@܂`#q;I*MڟpHR";QaI">MPvýԿXVU.y_Q6 ف\S4J(!P@y!n>3ל iNZݖVJ+^ݬeTٛ!RMe0+{סT 2M.a(T%I+[ @v Dd gYZ8a6fc1d312ab88dec59b1f47d21cdb1a866f98fdd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad 7 Weight_Balanced_Trees