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  p74t ]/ ComponentDependencies:threads=2elapsed=77.355cpu=146.036gc=7.028factor=1.897zXZִF! ~]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyzC@5sh+#[d*ypW% F=FZoː:Z# ׽دvP9vh&&9WI$wuǦ%C#C,<Ǽ9N_4+_%4qkP\juszhպ> 瞭]XbQiޘ|z,'k/..!*Rs2 le$||)6"WeWū.mTZX)7v?N2f&fLPE^eW`q0{{ZG {sN`f])u}[}1ŝe&r~J}try?%G sLqr޿ڼ*H~N_iC8EOНÔ wTƒh<ɜݙr QbgD{M\mԽfƲ12*k gZ?U5oCXH8P;^ LF?CA!N^+ݖvtȭߥG3J"+7o]Bj c!XJ3}f2+Ϻ[6]Wz:ҏZNȰ&lв>Q?فNV!T1ImH%?H_lmܫN^obU^i>Zɜ׵;#?m ~"Oې.Q>qB%o,={b0&X.ueZآgZ궿Bji9* KL=ftO*<l "%?Gj'!5ne'@^qEc.U:GkQYpn%\4[܋B|bTyp]*W7XV‘pXEw5N ވ)i;Y'*C-P*&lRߘ1ⴤ$3 ;'7]}II6HSn h-A: iMWq]d7$X֗]Za m{+d$VPeJoU*]g8|=/Ή_oDk>}p3#3w\vx~Y#͙*>/,'Fw Ɛ]R(4l= ̦3yᛕ㗍YݜdSqHl-]4;LXt:;oN*6)u[< (>C$Z3"uvJgP W$|-L(MAX#;|; jv,]b`a+h~): v>;w ޷گD̑u$pO!h*3.o<>hzTE K EKfߵs%&NiMa@&-ZCη{2 Yڔ}L~k)V/QIm -R)u6KݟԂ.u9q_ PͶKm3Z/l}Z*{Y&5+QY9$RڐM:M :ZEtWKZzbo?G‡7?+a:D)o)mhj3 >AR #V[&&i{a摋puT@ᯇR,P*۷OT x.Rt:ݱq@yXxftC";ݓߢ7w:gmJj] JѲ֯vCO:Y_.Y3K9Z~W{}PЮ();hiR2gED*XLn8 s2'qV20K9hycBsA&2 ɬPn< ACkġv 8y.rZ,OgH%p]R23a.~UH܇6霦yg/zFjVCRCkc 04x;?%4@ ְ ˗؜k=3`/$=s;Oeqe?V8 8oZdݕuЩ9Y 4>#j ,)ɍw &{LRtj@CNZ41f>05rh6- ܣ=|H X/=yK'ZaY1Ö_Eȑ/UU tӍH!Oc( Ju#=sҲ=o'#}uP/6q'Z[Rn?, Im TEmt|$8)&{/^wR;ybFC{bdE=:>u$Bln,I XF{>-P~! K$/r-I^xOMa9[`>pr*ZtTo

~egl5'+@}.qdZZW#5hRl<v>dyf uI} YJE5si b|߰E_}<.\lf(ёU 8t?H$EreѮVZ3@غ mgeX^qvd \9e˶cQt E]ՠO)El3NkP/Т]z[d>2bi ƒK DKD5F-XaMOw z|؃u,{SN Du@=,ӀQZQ`hdGBӿ(V=ynY_O-l_22re\B5TL&P5,܇GP3t.9 %sf~om˱LpvmvSW.< AO&z uAx zNXL$d×Nyډf'#aS}H#f+ Ƙ:jShW{߾A2O95rOA ("o N:̹˞ltpʟ-\&c>f߃q؟;aGW.!.#SQ~d91K! ֵ7iʱӐ_+?GRc 5hjo;'lea[ -%Kc-$5m?uqʶNT_d@5Z: ۓJH5MNptgU6-:ʧW2gME^وRRА. \Qۖ#: LY׻*;J"ݙtvCi:>\s`:SL:cg9 .u547f:$ VoI 쑩""lʷSV-;Qq_`6{41׼n\8sȠ\$E!ۉi-nuXw/ePYFa{uŬ!^(9ٻ l+t_o}xMcݟTVP[[P[GΔ<33|^>O^P`^RNhWp#OILgz>`!E!YqnV& ]e'ȱkx+]lsH嶙Пj!ٖ$v=RH"~-gYZ42d3b8735cee04b2f4ba52ac059ebabb1fb31ec4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418