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  _ _' Td\ ]m]Flow_Networks:threads=2elapsed=52.426cpu=73.356gc=2.784factor=1.407zXZִF! "]ŗXf[&B[ |c>7/ Y~S7G,UAeH/FM5%=ᆝI^\'A(ƪI(<a}1%YQ Sa;?% Wꃴ|4+_^7W1 ^q4"+ mj *x~@22 @Q<-[e"SvI3vN#"rjzG $IPKlj 2a2a͙5HXI/HJ#fQ1gJ`sVӀlnsM8je\/g֨=9t*Ր$^BM͌"xlha?Đr_}%`FUZD-!+c-mՐjW|{"8뾯`<':G{2 YUWTCwPF]O9@|ջҝ@v%y',TD6qZhܣdZ ' Flow_Networks  .w8&z:#F(/cԡJᝧM+m/;m%Iɹ5L-*E)qt ~̵ж㙍ELABK:o=x5/vT0Gߋ3Z/zHJzo\18-ܺad Ɇy:0kƭ>eS>vXp|{IGϱ|M KLK` yy6u 7! Of@'L,gF=*q [uc㷬 vNCrKִu Y،u}+IBL߮Bp%~Pf$o(e4Tr< K)'^!/>kg%Rm.cSp Tס|I94qym>HgR:RDߛ]V"-UX= g;s?N,tŹЂsv"c\u\$g{{>t>[ABf}bq^v%?/qN)hhC{ׁ޹csN' }@5?'mza-#Ϸk ; 6-oުNsF$Q=9ϳ<1;w2Ф]RUl>o+ &kڮS:}(irHs_{*цafuIfI׈}cX`= G&{;CD^0kD{N;I( bFu-o+%_=ulB.ذ%qKkJf72>JF e0apeNjVVhJb[@T9#WM( Q /Nb5Cc:SqS:Z]F=‘aYcZUYPDJb(  ޲.@`bϰwRS9wʼn'U6UOےwk RՐNNɬ/ 1^Յk#$..;t s541а1*GĵJi K,_ewTZ[9ʾnnn"cplEq_jՑ{]!SY%q"{R8oD;>#B׈YDy?!2Q #۝1u$u0& 13qC$# DHIO0 eA j< ?-|8yYdBڙ8.4Xh{3CN'B W[ *u4NR;MhQBVQʙ:pt7ja8;ve|B'K:(`I0'Pw^[ǎy['>CZ"Z~%3gaC79IGBMT ] |Ǔ`8ϋ~"5:Z8wF#*:H'v!1K8]M{R8Z~Ct5F׊2tam鷛6^9lE5!aOƪq/z Aw_juMJB콬5Bߋ|*jl,]QJ/.q.g``Y@H8 ƙ[?;#orJ(V݀5!́N{?g`a_szS' 㴳,xA)a%߆Q9^R3j9Z8; 1P5*B$LҀ/L?Kڥl vmU,R2'< ΗO n 1D::5@U=[B3_76s %@|yuj1c"ҩ΢xɇf=|Ɲ7KCT}[\dzɒ6=MfT /y)%FF~u|vWڽk.AC߬m(ouGx6c~^S?i-0p˗l=8RG R+yu',DRV9,pCU䷭6KK.8/[gӫGxn cyYاJZ]RUJ["5hE-9 =bg{^163jxHX.Cf2$B