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 I7,$$ ]/ ComponentDependencies:threads=4elapsed=55.897cpu=179.712gc=10.216factor=3.227zXZִF! /N]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsy;>R*b3`|N`^kJOC\yS͆]:Xj&Z'&Ft* @NͩfMD/޾LD4}Wf<=Z5yYQ0H<Rg.:?m0\xc~Ĵa;Ԟͯę3DB8jeoq#VC/4P&SP(p?w5 uYL渮+_Iٌ%;eM%_(Jkԗ]ԠGɷ3 5HxSBjKHM5ML+*;j`)4<Pfd 皸d].`)Shq+hpG!:-.5l>Yr ݐU_~3UsVi}o<پ:YOo@u{6dڸ6[)b TAM#zÊl^v%&ƨ1;ROvp~^%?FA Tz%#U ̝M&9d)im9N /үH\b.ŽXHLVo)^"JwC΃8frc@CHꡢ@rs7 QR:AuOȼּ Eݼn ǷvKر\~(䏍3;1y*_GlLn~G-^&бgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B'/#neB?g-nOviiG D_I)<j^ *JFɇvڐwr(1 U& 4~۱gYZ7zXZִF! C]ŗXi%L 1h];*gu'OܡUMsHOKKC%Ew"WӷSPȝr;qLjՉY<9mCY?+K2`KdE&*otaVҋB4e`kvϓhmFeEK5kKKrW]mh9)<+)‡hEZHr+RuPVښ69PsFx1 O_6]G"o)9 |`jk`6;F>ݭJw/ @Ȋ \NX4qƣg c)7(N\5=8/VCfA BIF<ÁSh>ؒ!^sAH7Nws44f7aEIG{dE`-Mr =c+Őee0%`^B23E-{qJ!XJڙ}[Ns?alMN؄8LV) `òy*zqyp2f0?`F}3$l_-,x7}}g~gtJ%'~_ 7 ComponentDependencies  5.N5b&B%VM:0Y9=1cˍw$kD̖e8nvdr,ŸpGѺ_TR/r}\ NV& %=9gQ1ҕīD+||6Tpe +@>xr_q'r%L՟Wy- s^QsWKV1ޟ-}דmpfx^y^7(fqS7{)#W4{h_3(hy+lb36&I*J{ ҂:T{1"<%gEFI Ș )C-3uOfK?~Y\f~ CZ٧ĜfVPX󇵔<88a 7zknxCQY% r^I&GJ-F|֙n%5֑J`c$=%f;uҺصʰb1bmN;ݩ=Fv>-o2^㻿Ugۋu5r}:U&]}APiFl/;+'jڣk|d_qsr+:/`׀9Yu'{H~RuEkl `4RǬ㔗F$u!i(]&GZgO"4@=DjC|Ĩ~lGΑ\^gBmkh6T= ި8.^ OCs"FKEFVpqj(nx`b%OոQ[jw$p}{r9-)c$Zrlor:E֩MKŖ5X!itR9y1Mp"2KgB T2H5SUuO(_\TIz9H~ǻf`+?e~Yz؝eP ϣ2 ZE =JDH_!e5Sg瞟" u<=Xflׅ7ߞBpmyyUW/V`_-qZS )nW_I[N4\;ŽdR98Muk[i[>LzQ:nt45`(@xIq3 ܅z- h7F@u%,EA;zǴю;9m[ 8d 'OaZD!lAMǎe]:YK'"a;~UɋԏCT=ۻF^\*է r]fO ߆v8]S|φ%#ؖ;B٦%x׈mk&+4kC wC" -3+:rNI'& lOFѽ[H#,l̬tKFmdLޫRy d&M9铍 i!{Bk̅"Q\ݽ] --يl]y!Cn/ԁWQ[(kҼyG 0E<2Hp"֯XUB܅:UƌOXsEATpP6L!|NJڂ U *hn7Q/Я#jN]Rgd^4j {Z;!~G1N(wNًL7*k{آ$0X6J4gwzwtzEu%5Mh(N\z9ݶyҶ͓Vp;tdYo﹭Jrg\leT6Y# hIŀ^Xx픛4>oQw@0 涐0… ABg