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 \$d ]/ Tutorial:threads=2elapsed=32.824cpu=61.620gc=7.832factor=1.887zXZִF! (]ŗXf1-"oވ? VòSE{ l› M;CXfbXX!)xƿzqEZSXc'N)(7T݀"bWP1_ǠUAQ$VDzE%%5ASd{yH"/>charZTD7o-K&؜"Dʘ8R,[}Մ Ze[Pk(7Id`^UC<Æ)2W ߡF]0Y89) (m.^djFXo.<2p+ؔ%ԝ\ {: ©^|0q UKqJ   Tutorial  }= Ǻy,_{K`y[{io+#[G #B,=90UM'?%vՒ ?4j,?&Kğ&<|wvKFU{Gm.jz{D *'_70ىz1#_veP&>kD?o f2HhtsE\H=:'f(fs!o$2<".ɹ^Q?st3K$0׋DĩOTL}e4[VIGUh(9ēTfŲ:[/l]V,H&ФiseY3J,3!k}`Hr54n-oHyC)Y'r>}) 0+961`G|[iྊsĩEݑ֛`Ϊ2O$zt.pk{6tvQbpsfzdL,086[֌nh( `' r;w;+_BIOJZ@jc'!cqv%cQEJ_ T@t.XS6I h]eDHZm1:NA>/uqY%gyF9)he麝:((4Q2級t{,ѿo,ꒂ v4 }E ["B1r1s'0Z>@9\s1Z<PQxDgYZ7zXZִF! T]ŗXi%>gg`t>C;-6~1mzTa3lr^~)GfܐtW1K6W)lQZvgvND杼c6_d;\n~CXU1I{oQ xz  [a) G '_GP!b[ʠUuuZz K\z>hLJυt!i u+[Z<0?fCa"0[:I_(%fkcs7 R Ia*"IBB3j3ҕ7)7x 3 z=hA->./uh;#yp(n*ʂ{ ӵD'N0V\gB="ѝ^:Fޥɒ`Ih GWSy_YF(mR&^*o2l!mQ8f=~q޿H^ d6""P05L$t}j>>rpID\r@dpRO}>Pkb{#هVo np(?Dr8 T~B-`94Es.y!ؐF[Z hbT$ 6/?g@b?~-=SK_DV/Y! B+jeI|W?hHP_K% a5Gv9]F/e%e~c\6FL=Db e>? s9@].Iw0e#gﺣ3֘hLJ%x0umvL # y09Qpv í*:9BLTC%2wkv5޵vBy f[LK0e_A .g>k{ߘ]ke ڽwl":l۩X`Jj :-Pn>jȦ.OhQ^_Qyh#okη6q1܄w7k^Yj8#`6AQqyh'5izKX8{u wIc߮y-TYPVLfX#C(e[7e9F9FzZؽKOyh2{kK;f՞Vģ";ݦ _1 "n df\ [uX@Rb.h 9QAcM}z`9Rip>I~1]F"!]ԫO 5|z uǂl&`[7F4. Mjn-vv9oMNO:II,N?ӹ7b Y\=m^zHQ~Xrz#1"7Rg ŧcM{v$Nރ7bvS.xt9w񾄦LeǵLH\2L h8e$!G:g]Ɋ#cS۰0 ^!wo)P $*#g\^4ߟmmr8bL~'ȝGUHeU]VVO9EQ*+0wGT,07aکZkp>쩖@R55O7ZԛhO~`:KV+Ш>`o`l+@ GikЊHy#AmH *X.`O&V9|eγ:,<^u &;c|QYK[yIV_P滔I_m%ӡ*qwDX䍻,$#^D2wV_Oh]KYM 9:oE/qzlaܹ13\쿎XCm=p՞H_gYZ99769c0363d8e6b5cc90615432e346b9e30b949919126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3