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 7|,t ]/ ComponentDependencies:threads=4elapsed=61.618cpu=176.640gc=7.084factor=2.877zXZִF! 8]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsFGo9%?vSR\RݒM,iVu+1@Y,ѓZɸTiZ,uJbarru`kь3;5 BC:~La``˱m)_bO?Srmh(N mf*\[ǮU8@ukĘZAM>B&fojL_CaW s!?0fʋvñ*WIýu}nI:3Z3u⫠"~Jq.M)gLfo aemESpoE# #xӹZImSC=pէsR2KǣJ0 @'5Ml']Ӓ(k; U m] ްHgP4(UзaP<"ΠPћl=S5vgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C;Vo+dPdAo8\ dHp~Tg*:"$R!:NxvuH-N(.fWߖIJ5@ntƗ)]㧃V($Y٬6fD™X\NfW 骨Q95:GmلiižmI+H$ᨧK*BeqK yB9}E~ m* Wl`aٌs*{Z»NG3aIޤRe-ӎ,mƊ'!^` C9&Si%.q'rPn#6E4'g͍zv|Pl:2[ WEZ%>@γcKA␱El`˙+m&̚܍zub%٧8j~慂M#'Pr 7 ComponentDependencies  |Sg`r:PY.b9t1☡Zsm]*&xӱ=3L'%B1!ܕ+''SpF(㮏kWx/D~02ȭc'6xf1,]ʤЏ.SŬt`E>ϡf(H AoQW8˝5bF~ӧ-5.I \v) c̫gx42q˨D^ їdS*xT|6Wxv43kbP՚5NOс|˸:h!Qvj=2+#Y*X؍p+)۞  'a)F?LS\ !x-T#P=! 9hH]w@2ɬCsZu fs I3+gy@Y=BY;n]m,7ܼ(#EUOޕgJ^:"P6 |}w?&1m Ԁ$CT>iA6,į}EB+q2)#0P:x!ٙVҚK*_W?P.ZCi5|U0,D(;8+#lڜz4e)N{Sd$][ի ?K>Tq!SuN2}ѪZHL+%x:Μ}2[_PA9I'#rSakGҺ<,ap/95"PvE2Ekefl +*x|)xDnDyI46هP'ͤi]gF=jD/?=I RN6* mHűPڑ_ڃ"g~>ezB 4z1-B|b6X> RQ||Gwa{0'J}]9{YBIK6C|SQ37©3nSbiJ̘bGN(RI`VB62quh@P1h*K!|Z>Pw$W 0}԰Z1] lX !ZaV@gu~]pKv$nڈKr•p.)c`cH*ϻ6޼{88ʒGFvtVrcôVrOV[s5c/,NfՙSC|nhjHN [zPr D;* N~`T!-_uCȪʃL|mL/Gf1πy.8T_âj;0sdW~8=n7[Zo)OLWstp2L1ʆ%|{%Ѷ?U;dŢw0 o"x_rCGϳuatvDH df|!hJ hH*o.'d8GeZ;FQ¨0 sGIF`23mDtÏtT3+YpT8`/Ou+4,޷\]cZpjEq^SOS6[rT2Gi]gR/q ȓFUOwڵ۽Lj]J&hٿrX(1Zypt_<Dg gSRbYTpV9/>^tqc 0T$5MĊi(,c9#6g$U^TWٟwxdd=Î R'~3xdpB\dlGd\EⰮ6 ߎ@;0j#OΑ,hiGt&`B|CDU43#C}$c:r_OV':y\f ץ?݇izM(By 𲑎cK{~dBUt1xHwSYEp}7v'_:nd79F[jP39hARIO*jC1#0zvKj+|T{b %U5gYZ05723d91fb898c62a9e687f4758023f5acac1e7b76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568