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  r-\T, ]% AutoFocus-Stream:threads=8elapsed=28.048cpu=105.645gc=2.067factor=3.777zXZִF! M0]ŗXf[&,X՘$i4XϤʌIe*t& ֊kN cfBC-:BCbvGidt&L;j [#2QFg E 79j! cR9J\1zJIbTv[5L`+Զ8n4Q'JDlbVOTގ ]db;WUfϲJ1%ͱ4"*B.8iDzK?l@ygVq.B`ȃb[ɋ= fE\bk›|y.`@i4~/c=)2~ݔ)&-%[uPFg:jqUF1J+!k(ܛ\+ĐInΦ- ac&Sx❳v7U(x[5*(h%QJŋ=k<_ո'2$nP - AutoFocus-Stream  @Y9]En'߲ d\]T3 OpiHknFr\ʪscEeN};27b0;[\OЩ[.Ѣ@DLLSЅf`|mI K3.[Y^E%yh%-* j K!ޯV/՜ථu_$Te(ĥ΄/(Ӝ3UR?HUT6_ ̫|N_h*8h[ @M@㹟Wy1pXftE"f߁.c%M[^-$@>%PRR<*\(j`˺E+]/v\~͏A.)E> 2 Eᬀm0j6/ Yx{˻랧 _•+{7^Li9e_c(.|8RwMאS=u76} MAkkZ#X-B_|&۳]g:X Uecc2czvp=uW%X[_w0na+DMnOf-c0=Ι՗bBhg#& h9)3 2zұgYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 l1§aID;[<2dؒxcK^5ܺ),Ek WA}֐&d!ofS2nTO W*7 bUsP=Daȼ XgYZ7zXZִF! ]ŗXi%>t{JB჎Dc:MV⍕1hZ j*x+_lesnjĚz p#wx<[O&_br"|9M/<6N%H1fneppe(`p-4{1Ҭ,$KFd־n@]{0*I_d/Z%,?=J}&(vSupPt'*qvsTnZ)oY|f^f{bԜ/dnGs|i-"DK\߱ S2{}|>zm+ɔr@!WӗbHjC[uS>;Ҍ)n`;za}"x4J 27Z%$t}BdY 4,U}?S>0vuj)[!d<`Ĥʨx!k%k.`ߞ˗A!'Ch- QIΓ_}LS%2M7w BcM&]H9dtOypt 2{t,PnsL_2e jֻ)YF>\>M,R+6k +eAS-Árx!ޠ+[3MnMPUں8߱>5_>Rpc JqBGG۟H@tr_}XqokFt2ܕ3r(✤C(QʅX~U(ć_.o>-#qb̸8V" ԹRKr5ȣ*]S2f74GV UWBV20[{]!w@*9 E^Rw1-m3Cq,=}HndWkp\eַ9)#T-Lr9dH(/z4|u1I.$B"9;t d(␺bl {q;';ޔ7商!^FAF2t (\u6o8Kkf1GP*`).'n ~&^5 ͏mQ.]R@o4\ǺdTԧ%fYk(Z։>ƆbT| ׵#R|RF垹Z*^W 9(C_ |RQq]}B8^?xtj 9vruɊV@2l,a6KjYK؇쥇^= E;m eRviQb&_p!/TƎDn#]Nxmi|O*ѤiY*U@ 10QHc;[_zPɄp`V n!cWҶҜF^:v^fg^oB/>s um$|0c#Ĕ[I'j17R+c`*a9U$3*whe?5)ۀ{N`C%4߽>˛|^*EdZY~07j+J׺LjuZ~ 'JPZѦQH UTo.,S7㽯eR?^Yiy- 3<G"Y$ tiAUu x2 O*va]`+mBTz (tgi 4W?&BiϬI=i-W[EsQ52T b(,%)PT_ê ;M$ê'weKp&Xɼ U4]!e';y}."Z/'&Q3XOrWQ6^5* 2Ν@{>nZN.R2d$q%v 1E[QNhkA[W6pc o1ӻZag;k5okUd]1:mL~00V\b0:^! _i/FKd{bX*i1H$km,P h*6!ZdƤ1ɍH^\ml܉r)@ۣ3|ͥ5 >qzƟfN04QQJy'<:ͺpŦRii&9|T