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=28.073cpu=52.472gc=6.468factor=1.877zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CX:S %A!F6RP@~zXa엯!0]HQInݩJF,3Iqtv/ᬒ@fAJKu"llsE|`Z*xDPz h / ;j7$IVSgʨMQ:^ߐ/AuHkF&KS~pJLg7( 1#k4>6?kVpe7`rtȷVgraYxg,Sb uK;䚲a$tžC?gl30;E=ɧTE r*ݠ n0JĤG=/})TQ3@|.YgPlFĎ]T"8򖟒?/ċ%ɚ$@ֱgYZ7zXZִF! ; ]ŗXiɟrj#>׋DĩOTL}e4[VIG!ƦoM"$Ob{y!À^{n XU{ԎX>0xhk7:!|m2uɀوC뇪901sz3 1Q*_;ﴪ%Lg5#tpIrTibCyaT;|L<'ؕN/"Fї5K ^(<2wb=}Ŕ#YD-)'>kĘcWM;9CPŧDٯ∅Ӿ",؍W5+ k2^Bƾ3*Âϒh); J 4聁FzKU,oh3h=Ϭ8Xa#b0^U53a#*G^ s3 Q.)-'3JMT;42@4!8 9W=hdGtoadڼfi,9KU瀧;%+Wߕ幡2;V.ٮr`MuN]&I*\ S>T]<,fywJkk`V.˝p\\a6p~sZ Mtx^!P i ]{ñN>@b49w攓gu [ta|e[,i:^#QQÚxR.t"At'؛V9%(CMoknJ#.)F D-]CQWxU̯D] _`Z+O1^Ш\'3;9Ll-ݿye{/B>}[b^p3jCf\nnb% \ Z'$ {Vc$zV)]hq|Z^׏Ɯ 8ލ|8lsOkuԾ,Դ` ƣς+߾ qc =\zKYΕͱuh!bGckA~,[]cu}T<Ȅ|,L9ˢO{0mВ\{yC(",q{ HUNխDF̘wܡ:zkAPIR6]ĆHr `y4ЦSlj9i'۫GGw쁔40"A3qOL,(3=Vp|\yS鼪xOl?U΍ [0}=Y2K4DqS%룍[i/-P7OhLe8㴫BVW&` B Vp4b;5$g,|ajkIMupm٭~Z7dQCN%v㓶K7oh&?xٟG3g6l\kM|㰷GMW4I+%<S[:p)y Bo4h }J()E1Թ[ !>RΌq"|^NxzxX_?|dQՋῺd=m"~ކ!qI\cQ_.j2dGœ>p\_twr'U,, 7% aե"sa2d%wᯜؼh15ڒ aѪHYًPs 3-@}i ˦{?:!!2[@ÌBltӳ j8,*tߧTVЫYH}%]1[ٛ ɖ`ހ\SK 't%)V @@IJu)4;;ͪѪPGjaVQЗ)X}!^Yw:EtA.POֈ/h'(!}\^[!?~Z)ݤ wxY1@ą"3/ uoZf;RDtRdsK f{fn0u5o&Y PqEAG,4bI{'sy Ay [ EVZY@Ez">˄Z-N[vk6Qf$vsk̏aeֈ O<}gΒ@8N#t# O$~,/pDYH6,B0J5TngYZd291b0f9c8112ba7ed75465e07bd8ca0cb09ed091770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46   Tutorial