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 z lL< ]/ Tutorial:threads=2elapsed=34.250cpu=64.628gc=8.840factor=1.897zXZִF! m]ŗXf1-"oވ? VòSE{ l› M;CXf`Dj0M!~2%r\hOJt}vamijMZ SM$EgT 2z. W@&·GD.? ~J02W4K#f/ZDNX@a%Y^WP|M !TA}EBg1dbgwy}>fs`b`u!QdJaPS{ rW/"DZ^yJ#˗' 'Rڿq ehEdf+"   Tutorial  ?~{>d\q%}ufڨ18،>1ɧɒK _\ޮGx~CÃ?E樫VM+|J}\?]tJ d*F^@:ỏWIW. L|!qN[2$7iƶK(0lycB~Xsk%W|;Ʀap.+Z6lb 나#\Û#DH87ycv/2VwD'?hfcxS!F`V7R ek2Sjk$Ew8q&D*kŅ׆|=kD;6ctV|.HLzJY((6/:յ#3oU[rM!F/Pd%T9Ude~9Y$|f wU9CQ_]o%z^ِۡjNӳ Ka/e&MQpo U Q9 ^ Z`g崒! $iWqf^I 10_ -׋DĩOTL}e4[VIGUhMlҥGEծox{]X??^O܈\tj7\e@yӨ\5x,&&s20h@ .T6WWT,yh.Oʎ wݺDYFƪnD,f+0OW&@ f-0HFYoeȀs# L#cԹ_DKvM'\Oؖ6N ^ĚuG/̩r?@$ߊhφ2_},*|3QA怞{4f1j!;b@5}?\Qgfɱq5O®&Slwy#Z~MVjbGݒƓB"^Xv΀a@ac> twcx %2i%;2cGO1#o$ u% "4H WKlXѧON$$VJk_/̧YUYQ]Cװi됌Ʒ,j =wFfBYY$bG\9uZkַ "$)L"i֛յ.P2SU mկC5xfY*?SӾwN؉C$͢.P q~,epʟpGP~ 41OjM9ؗ0i,!G7v53 ?H>- H#9bx7vנH]-X;, l6u s˞:rJ/vyN ;dPw$2C/nC)V#aOx XbY@Sdx1O,<?#l[鮭2c(7EԂq6LwICfd½< ZeW=%- FSj#7%h1p5wT槸xŒsg/02?Q8 J~ î4b6LgU!J'Jz/{aq]m4z"{՟3ŴgARphr`យ!(E=U7 "(>K%D&8.vuL1^xV( Cر:EզDK,JC}ثμK샼uoŊHP1#kz&!肘=Ib*2MT6e:q[ٚi8^pg`#I(Nd;y8b)2nSL ˍq0n`DDT9mZja b:# ,i q&f[ l& }ak V~@GЏv . k8`Yҽ dde? iЉj/^]"0_/8^66OVwenz;l7cj@=wbq qn:3s\*]fR(\ #X3ӽ6s= { k~xsEĐ>S6 v`>3.TeI׳lY v "޳l>֩A___zfˑ^:'maӁ 4CeQDrozesM6i鷩a2?f (2arܵ7q&wCZtrWTBtF/ґ& ͱgIZkjIltSo0 ^Βq-ʀjc`PErQ.9)^S(Fuax/nzMC.bo\rUv ^לX@am&8|hDGm_6By:1p'0ܼةV;WP[`*x0OB/>4C@ĸMO3a%<e})ly)C#L&L)I -Ita:PqMY,jm q§PR /rΖ_GFeםl WWҨԂT}̠箪gYZ7d7ad270719b03075bab0ce991c33a7b021fb0fad50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507