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 {' \$ ] HOL-Cardinals:threads=6elapsed=7.163cpu=39.328gc=1.516factor=5.497zXZִF! H]ŗXf1-q恈<-¡$johkX2I)']8PIzd9 ]}JVʵ1Zൌf>-Di\z6ݻB9:H8q}0 f!Zz^sWdfuG˙4ۛ㝋cY^&6PK#$}/ɧnrؠ B-נ m:ZHDUCߤwXs3Navb/Tn'рv#22NA+RJ(BM;9vNި.p8T]ylZ؂c2e=ThB柗ل}2dtNw.ۏH8S`?^bZD 1~T ^=$b$*>' 1gYZ7zXZִF! ;(]ŗXiɟ1?ߟt;9BP2CZz眭5 z c~;dZm؏u&ĺQjL}{*hW#$:R𠒶ѩQLv^W1`o=%g.6򭪖$%n[~w:~3.,Xr 0(E(Z5gCˡw1,#ö9B^uہ\FhyDY۞hkݩ_ҥ@_ O[m]sJ{[jgYZ7zXZִF! &]ŗXi%> 3;g!<7L@xɦO0` Z+ ›9@~s+pe eyFGUEݯKМx:\ 91WZTi݅g9) %3ep6@Wh2 1(g¥ P͏Lҷ.A0h%9oaF4Q&K*0S}IeT|Fە+c3ЦPW :2q$uAU>B}LL3첬.[~Cd,Tzх048ϼ 缦A, H #>!ElU:wJ[ݩrZ _B]{"̸;EL,Pqt}1DX̳9%9J:b d]ZV^ DkXu ʟ' ٸ%:P%9]K܎7rxl}A#O n%*Zo๹㰢WTF)OENUjmKMGN2¬=+ Cߙ*f`Vz51e2t˪-i-