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 K7 T ]/ Weight_Balanced_Trees:threads=4elapsed=16.203cpu=47.092gc=1.404factor=2.917zXZִF! "a]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx˕ )UZUbcrPBR;Y?%"G:iחQVRŗО1,KJHRKà[Tu*SiX _d<뇭 ԑ;d[f m.Y3cXqsz#č$ӡTJϞFHKULuYkw`#{ovN^B{f3;ja;9 J"^/yj[A*" 婚@͍e#\x XAL3agU[ 5-)"~P8+I%~Yrm:az 5^}*lt2-MjPF)#Ӛ-IaZ ҵ|ͩU3xFHOAlug iPHNW UnN\E oB`Ë65ev6B:XBr70mPt-䟾v "@zQD` f)'Wo@B}c(N )$11G˵}MEgYZ7zXZִF! @]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻hmSBbC*Y,gX?B^/\sմtT( cVF~I+,sN!>p_`5b*v˄X~7yUUn}+D^\85\&svSؙyXb-m 4nY뚩uUr{/otNT$I !dgYZ7zXZִF! o>]ŗXi%B7[ɷ;bsng'«j l3"HbРځC&$Y)aĊJkYe ,zRmKY{ O/EAǂmD@m"Oj tcZBwht9)[:2{-!N}Lݒ,aJZRzl;Qvy$FEI-uǻӁ$&Il MrZ:Mtsh^yL{C`JsUU?%''N*F` j ?&@ h1xC><h,䗙F$NE+" rmoh7VQ9#yB/eTѷFPRZ+ЈϹ& o6dPWOÑ<4[o^"5#)qllUnƂTH[(zs}H,/z/}v݂tu)8=!l"9Fݭ_%SH1̍4KN%c{)HIK)nK/G42PQ}^c:I@ w(Vn%-'={GMT%QC1, SeXڃJ;;tx0Mxp!Urh_1IZ'= _ '{6UE &@d;T昒5eJP"|WIxH?ٔNWѦel$0%Q:TVx0Jq-Pzz7s@#HkQ[.4>92wWi o*;˸>XG]M7QV.#*w⼥_Uï~P}I!CRq+#_2O wV+:=+eWjC$/N2pjz0I@iSbN |p!xq꜍]f^+$:zt lIs skĀ;z&}UDM/$Pv Gˮ[}|;;9pţ'PSK ^zPP|-,o౼&}#Zl>[1}sa'&-o }Z@Y'A磻[H2n'@*.7`A}ԅ85S 8 2d^Do-mt7FYR8^+Qٕ)~ıgYZ2bd82e454c41104248b830e619c84b9932a4c1f23853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 7 Weight_Balanced_Trees