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 TT)+ tdl ]/ GraphMarkingIBP:threads=2elapsed=20.958cpu=37.632gc=0.896factor=1.807zXZִF! h]ŗXf[& nv$g@zq BT"?}7&JVYP]v]>m0$N5W ǖWl"sfuK| SãՎA'jZ^MXr?ksP晜3QO;Bb3&;|:ZAL]\lR'Թ6Ϗ51mdvfe}c,^T JRݕԝ-j/#d`)ShMݨ{"cjTB|]&}bf?BX?L1 ѷfht&w]>fahBbI ,dѲ*Wl'TUP%&u:֙[ tp60?ζHo\KgPsrXmtڴ$vg:% b\o[y!z=Qa፸t|%ip9Yk*=A>c0-!!uAL<ə0*~#΁3ͺޫ s8J 7!? xfW5Ipp9b=\(@ԕo6ڒc@l D7Vb2RV/ߝn $a? wR:C0jqY Qk q!*w*Cn8gYZ7zXZִF! +]ŗXiɟoptB"5`'''?D:JXP͜Dǔ4 7ޙHI`s̴X,זZ&i0_Bau|Ij$/r&ge`]gO32|"'pѠd/@"0jJEuu*5୅T; ϡ)`\uǓXO|ld8e(#OAvpTZ@HҖn,`F⚚K# ː*2v6'Sk͚WkC'V#{gYZ7zXZִF! v3-]ŗXi%>g![DTpmB-BYX(XbSO{+jeF,;@ ~cÛ+Zk5LaOY񣂕x,Pt&zuI;w/@괥@Kb='ngYIMe`ӛ6'[ *(}b j*Sle=dDhkU"8CÒ,yWfఓZ>HKY3hƼoDtMIS[y>>}ZZ6674{OlJ_娽 K)^0@ _J|+j B8kQ;?"S#7`I(qCl\UElwUUH򘡖AuEbкq=n@ >$XUGc4V e0 tGU U^PF?vLJ(|<:0C~ ilSR67yMg}]P\=Ho@q%bsDEbЃ*oyzaIԽpM뽑Y݋Ni}AVYg=@cn@+5hpGAN82hpKʘx[k#Qޅ+\PtHdb&*)FQXTh[}M|l[qXbJsOغH=/Rm>90ibn{A+j 5=&ԤP}%O6͞kA@a8_OJFATLݡ鷶.Qa=lVtO;d',:&T# ~umap:nB?^:+(}հvM7 cu$ͻ/a ؙ1vHF8fŷ|*JG478K(#4EHZ(+ZPd3iC-_*Ht ETbodq@%qNzb35 [~"!0ֻeC!00,%ez~3ެq e-6t-̐oAU7,QSJ={hhX^nm\gVS&'ccNJ"A;I b ;>nZO$qO !.{rF9Y3R5%461 ;x)$rpA.oo`t3}ub_\yL{d `3f7Vc+ㆈ!%`Ȏ MgsT# ,?]5Ge6P7B>Aڦ>6>| A"B>wc"x|?p$6Vs æ`Ƌ |K#bgQÎK*H= T@J v <ۚex2Lh>75@ 跱gYZ68ec5d5b3faea73fd35c9201b4e07045cf0993db0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f + GraphMarkingIBP