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 GG.#Ll ]/ Statecharts:threads=2elapsed=64.767cpu=115.800gc=3.036factor=1.797zXZִF! XV]ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&bMf4TЅ@x +3LqRu=ze,lPO, ",t:h7v_al(IfF2$b$mvowLXDē߼'8p&8RͮɂXY~" ;.L9 ܶ@n]S3׸[}i-(|Ơޡᅥ1gP@X'SKI]PH7zy "J:yūTH2p/#c3O͑Sd$; |tqKW.ژV3Fg<\@ʮ īqBt"{4SxO=pYr^ R `'55u@iסP 8FBBI5S:1b҈p" m:uuJSek b[:H:a-K>5:e7tQŀ_?P 4Tc POǥs!?z SnԄ.|_scK>eΏjZ1lkb|zoP]aL!o%R#$.'5Wx'5d/g$)Į/t}J>@KXz[w(UA$1Q|qudwh_-);s(͌2@0 ՠ[1 673DGMSv) |CH.C+l7U(k{וHߚGd.GBLfFfk_Y87nEOJML刡ZETw}Bۇkh1!,W J+s}3yl=^BxH6Z!tH]a$c G^T m:X[%ZoKS4yV0l 5qlvͻJQu9G3QSAnGsH$pEtQUpEHD~Y<1 p`'J)ɫ էpu!%xmaCKksc#L<(}'\z7[j~X?2rM^&k˄C xY"L`6y3êA73}e(YA' td;U^֗ei~~]ĥC2E7.#;[d\>H`!@YVp;>FLrB h&A5fy : )cso7#aƵa9s:^(p49rt<9[3/В[!WWّH Y-T՘E~QM]P1tocJLLJB>[_n7ŊLsS;̡2?._t# y%YfDcFՍ_$w`ܳ˧;1!UԞ_XE;t\cB1 -hG;ZKP k ( >3(Q yD6#+w"K,"[q@q‡8NS҇2QE.>= Wnbg7P{ӣ5ԉa75wb3\]dAOI" N폤s)%Fpm#t nM-:v.~ 첶Z|kv ΀τC*u&j/PFCʍLmp*\-(q5- un?<U \k7Tjb+='csk*|^{ބՊNk};x :IuŰ #9l4ԗѰ3Nm{ qгS[&El.="BAzOMf aR.NcHT~rgDy#.^P05ڼ,8xQ=Tu'FG9, 6-N3l4/<2x)pk'$ U:K"Hpti"MFIj_^ A% =?~To0Eݨ)Ì #s_ًlv]P@)3!6ۼ%8hoh̀" 7xT"ӛ-;? $֕goRswgJ%'<5cLcxH Fvl"G4ig(ZDZd? e1?OFxLVǨ] njy6(B;[2^jKSe Խؿ!dQ '\ !XMhm[o-qqSĩ3O9 @ʲ OFRyT\ǎኦAWGK>}h?2vt Fle;!'!K\и @|55vwqm8 ^'f\wMwWYȈVk$Ѧ^&APц~{.lusVLSh{<Ź]tXw.#=x']ֆrV*f9 CxoΤNL/8ƅdIn(a^"/?#OI."fSbr5]Vowuh0]-…bv+ityd Qb>+ @V\~5rCE?mGgBm VJʔ{e3-IFN'- & -< A`1.@US qjyPHGteJY'fZS+'.=:_tlaN1%%%T)/T%˹m*vJuO!"d['4dU 4sW6}ҹ@b7_>끲gD`&T>qz,e&r&鎳<=nh;/m\KWsCǜ/P7)$m@47qPMF=nFkŋ֬{_&"/q6h 93Ÿ S