SQLite format 3@ .0:  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 ]/ ComponentDependencies:threads=4elapsed=62.623cpu=182.260gc=7.396factor=2.917zXZִF! D6]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsF̣5WtET$}k5z\8Тq;Еn-?D3T}l 2u3ui꟝u{ndᰡJHBHa>HAmv mXhH6+I4o~iKwd5%3x R*G@@ K!;*)>REk&_Sb9wl/j'LYўu4#9F!T5X _Ud ]Dֻ4WwCA=[XYm;~)~rp3@kphBh,m"Z:BN#1k?VP$s8C`85_cV~~׎XFuF"clz-ҽ5:%٥Lj$PcVAY%k)QlMu" y'^ditcD4A gYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C:EL$&4qhBi"ICT1Ɲ7NqP=|jBN|$ȵUrxLZ %u?PgYZ7zXZִF! lF]ŗXi%GgKR K&niҰVQ )ʸoj x{]$ĩ!8˷ⱻ*KBGjJ֪c%X LcƵO&I(6P5͖NH=-Vx٠tm<$SMLӘ8bx eoؕN QX,fـSV~Aͬ  ʻ1@f0`; ¯sPp)/ U'~ g~F^u3@ ż $ iBۉr$j(04J"j qP D@{c^ p8|CCӋE1`e84] w࠲DэPr]dPWCےOۃSy[%I-Wucبgs@X&.Wd1 (-Q'R>|a'EZzy{+ⷧ,&(  bXJwVX6nis9Ӛ<=mQrHJelu=j3x4IbacՔ&Hj GIfƼˋqpERWm%֋ƟMt"Nn(\q69$Mq9}1ʃfz \ s,J"֏UiR%טpMr%AbS2۵e(NeⅶD@jYl(D\G`ݖ/ɈP1Gq=\#8=V3 HWs̔IJ _z){tm4;7(!g%)BU9sqԖLu2wߟE匛p=޳ΖEkU󏐂!XږnK^`E(u CH>Y*ncZ4w(~Cmb1IXx3O:R"iJC o(EYނDwxy! xz GǚE ]ILy$ 'CkrQoޡzb/N˒}nx -e)?_ \MÐ="1֏cݎYsݔ(ӱ'~˂Q_hG.%Dž 7to'檏lHU6 -h_KyE-5wԠ7JXi&}`0!p; ܙ*z=t<ǵo+Ϥ#vxYTLdujt+ 1E8Rf2h$']64ؽBy Mrz#4XyW8!"avM= ~<1. ;>Mְ/!we#Z|Pa'V&p %^1 ]=_~<xDRZw(5hxT鴘e漑׮ KT\ *DL(%-.-$".=K|^nFuR?:&+&c?gavLdjˮʯ^ yH%͘Ö] w[elV1|a΢^c?4R`)c:ht[}Y0(i<~`vTyu =ɍ[j1N6]d2N>{n`"q Rd@?]_"e4! 5CؘΊz3b sQOq'@2cYpNFLl[VI,{1x!ON&nМ!zOBnQrd9NISh&]$>ZSTӍ%ɫ1(Xf\rVhOV:.T|9rޓ C8ѱtGץ)%?#[`r#膗G[EpLS 40Fz[̥Un3L_c_L.C3mzq/,--NE-&]Ύl¼ tP:pHLGXy\8@Uj;Q`+*ݚҌ_rt'dFDM/6V &7h89M~8WJgڪ[+wзih/ *0<Uw}|pLۅ a\@;Cc^BKMv"a$ѠQ:qL 3 h@X0=S"wZ+RfNER9_o0ԥ5BNj!Fnړpu |A:.0Ӯ:BU[F_/3t