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  t$ ]/ Tutorial:threads=2elapsed=33.134cpu=60.816gc=7.632factor=1.847zXZִF! s]ŗXf1-"oވ? VòSE{ l› M;CXf{r'a[K^@iAwR UCr^$I^ٖcզ40f1f ,aɧ1C9h?FFuû dvƧ#-iCJi7G>6nr9y3'yuu%tELۙWa 3XZh ^ػ=ƫN@H@BhPXw+8* t-̡xZ}..,ڼ]xM0)JpJײ~   Tutorial  P O%zLsMEk-ƽhGɝTRh|.erFa!:M0_JrV$ݻ#goUqTңӣ`+ WvSTövBaQiV#T7&~V6\|xyi[=V en#qENq0mS=abcǛ;sSJ$ LfNa> M`qlV\'ov酦IEp7>pIl U mxR$${d:8n/kPf[LL2XN.Pn& )v.7`d}kv\(YIsK(里|Fng{qJk?b$/[lQ"c-3ItBpt&F:v]pbO^bG^v=g p~uBkd~-=ƱgYZ7zXZִF! ; ]ŗXiɟrj#>׋DĩOTL}e4[VIGUh7#I.F }uk4lWa텖ةSBEsEWq $! S7`CÓ"ID~kf9Xo#ҀETC/Asiɂ~S N'([5/#o{@Əwil5v :L9Ű~L΂BOI$~Cwރi[ʂgƖ!nf A!B7o~%ޢ2hn12=~tbaP?AǦ/XTA'1b!xHHqoupѕm} ulj'Zǐ{ Lt)mhULگJ? iBb牰Q{gLa@>nh3C%\V$q !1F65 92Pb-g g QE{ؾX>rUR}\{O o{9xD2P [) `VH &@' lD}Nl( 19|XkpxU~~iw2K]pxȖUgGU > ,.tQ#<~5EH>H|P.yphcxrĽOG00EjqĎLX :){yp5zPS䃣UvU8/.8ẖ[Jl!Gz-o`p~V2"2$T9G(uQ>>[fH'vo;efdAx&SH#UҤ%=Xdi7]+MjZ.GD"NHjJc^e{`&X)E` ؾtp95|$/oO)1m>Ub8|U۶:նG[ xl 9Jn7Bz! ZY"shF8M?!+yʂ)ϥ /v#bB3Q;ѡCTvp`9ԅEb A,ȃdb#BsSfsHM@wo3L7#p𫌂A6WJWmm lQÜռd = /& WM.2nskǘ>T"tj/bGqc7[8 V 4%UUҍ:y %4Cp1iBdꏬ)6ס K]j,REqfS7Jn=Ff9RStKHֽ6ǁy[0[ >]*_d\NAY=eB.a2&?bJ^'X4yQǮ `bGVosӹAhЛd_?TPjd r+ӇTUik߬ϫ2^ˎh9e/|S/Kgx@ha8-㧟am`CnPEV7 #؂"ϑT&rydž1tbZЛ{\Mt; N(Y ʎ}}>:m@=U5@;JRvW$Obʟ-[i$j2B U9L_|/ą$jf]j=jiL=5C 'w8v3%as-%(7{G:X$&ϣ"6P:* [mIvWߺUV3 rjjϡ]bdo p%8aQVVq(dVѮYG1AGǚ:)mTlEh~|% 4OAi (t զMYs]Ax>'E}άW;a4]3#op:Y<ށpq`Kc\X:.϶Zȧ3^bw_Sj)f_|JzHfQ@;n 8x)\*@ (ߟΈQi87WC[aƢPgz U>.weV,-}m|c? "1Ƭ[h$}u|Sc\L~2r {tzL(0@c3H9ҞTBgYZa44b6cf7910b934051b0d4568df8e0080518c671a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070