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 p-\\ ]/ Generic_Deriving:threads=4elapsed=49.721cpu=148.388gc=15.424factor=2.987zXZִF! 2h]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfPԉ>g/ZۏB5VS(#;N w AX.sU2깿gq5׿m{]mAasM#i0ʁqz+ &l`Z\Es[AA˵-r@^B87ᤲW؜9dC{^ xzFbNc-\Efʾ.H<\۬yaEsRm7^ - Generic_Deriving  vScbDFB-ywei9d./0ڀvLLU&?O Iט95Jp{2" iXDEQjmAۍ$pZn "Y}n 5^GTJx͌ҷCEڜM޲H^؊n9>Э[6 v)Qu=+2"I̎͹ vz/ {O6%s?H0(`tɗUJ̛@Jӽy01 ̈́-EY6$s/ ϳD<.*GdY 7険%r6+'!+j=**ȪV]L3aD;h$* F[ $tMq^w!$ QbRe´{EIn\<]hJc*җWY\vI?{9ʑ[Ed6ރTJ_t|8ݢc&GBȠwP%mdik,Mg5[sV~n쁰Qiqm7&yV^l6c2/{6OG5ٌHץ#/%\^}@Qг2Ug@1! @6fMV7&/4 ^4lKqU0#=ÞG1׾/ݻM)7y-M2IN􇔞+sץ?|I{3j  B<ÕD1 A?D{ܼqceMYAOgOmHt-=4'1A! Hnߐ]*:z(-! zMH%[Zn[# 'd`7vJ9@g"-- X/]c8MVv䑍= S3OL3ɗAVbb2mTjNFJ213򽩿vRcIxѪN΍  shd\q!8E0S(;h& 5^)O[Nџ@}A C9ښ?|'VN9D:'NApM }[3%>l,2ǔY9ÁV ƨshd _+qKı69q}z LIa3!T}V`eGU79Eu^ܻS4l XFYuI\+g) TH^䝯imu/ Q(>Z5`CB?Ul𯚘 GW1Ϧuq'Ն=hÛr7 qm)7d?Sm&2Ny2VεTa2fSkd;O^i+SZβNP@Fs$:•W T3ICqdq;%}[H/6uT2.5ºVL}'[9K[zF正2w3IsЭNojHDz vƚ w~L PFd;ZKSyBVpiK#؝1v5W˸@ʝnx"quW[(hn&SM UͷYYY;yHs s@Yj TEHV`'jg.] S(UE|)_P ?Wq^_kV4%e}uO5 ?m K7a<,CЯPӾ8_gZ ,\nQ/^b/֒zC}l+uXLzjW'n 9vlyd 7Bju4JB2KBbnIE~=[gK\tCkt'p'6vG{"Tpaܑ퇶!͉Z3Nb-kZU[dLЩtH5PwheO~B>{0Ksax)$G~WuNbLƔ#mWNbϖ+G[D\ߝr7pCvYT`NsC&]MSRvg8%j.R|Z17Imm?la禺8rGgs9^_SbS>|zH<^Q*fw!AIO--a~[(\4Ehy_e̡|G`+"샭okhup,A+gKy__ Aoy^Vui@BQJa/]0丏^?uLW>er(l 8y͕=HPӐK_iNGMO(h+(} › ٧0LjΝ o/S3 %&ұxtsG7][htlt3RIn̄"M!YnMPpz8RO?!ug9Uiϓai -qS "G%,@t~1v/CPȭw -ISadAfMȬ"LTe$ҏLdv.AuS귝f@jܡ ^ 3ryXNN:t P!}a,{\n)&n&Kq  _;TA{t`w*꨷;QƐ*=wD>r*18$ G^vl#ݥؽTɫBVӟ1/ ֱ_ɵK7si$I/)hVBr _'{e5Z4Od:r\v"*zVZ5uY[ k87rq{Y&Tw٬XY6S*|Ʃ?w}R֙2Y"IS 825^1$22,Ej % x!AgYZ7c10eba0ef26cfa5d8be652d754d403a4f5b8d92ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022