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  $4D ]/ Tutorial:threads=2elapsed=34.151cpu=60.756gc=7.612factor=1.787zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXfͲY@W_D({'HHBUJ.-o_TH͘nuY՛[L9n0ڔ,sQŇ6lP|п*f55_}q~puC2f".>ڃd`pDe3soSs kZ2_A. @ q ~M)N"gޣ9]-@B?asrgQ,3쒂 6>eMS`Yn YEت,GP}=   Tutorial  3)K VbWL'7PEa/Fk,EF(ǜyGsp|F.. Agag֡{U ~̶?ehѾ^~+&g7u8t{ߠ7GH|m˨GJBmyԴ!?1Bz;\9W?RXݹe&`!h$ uIC4a]M۫܅axE_PamY/Qjߨ$A (.gez꼌s5i lA<#64qUXݽ8/'ՌW: BZ_A~6Q *)"|;t=[_hJA`Pt]E-1 gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhdpŕ'ifWW']9!;B?_K %}6% ЋJMԊфHjTQ&~dvKZR;SZ 1L) ƺ: 0EUY!,ML8;C"%A@M= x ϡ3S~hcKkHz^չwq)Z[']v8/^0L"-9^t4m/tI*{W9\0D5՝Q7F|ZwӠynvrZ<?GXN"e4T25pgb$%-(u"bCx8=ԿNঀ_`/ lxi?EF*'i圃Ӟg詷slTXۥZ"Cc ow ϱE@3 Luq eGӝ.2@mtj 4mӻ,7rKID]p°+3BSSx<*|/e?Zb,\@|oب 8GYe A|*~l,hD~T&}=+\gYZ7zXZִF! # []ŗXi%;30U\/=YO۔|̍ݼI(%XhrY?a-K[׷ۇ@Ɨ~SXAguZӕYc6V};'.5[?Cnjo0Ru:`Z戢8$uODHZ"-~W} hX`gϰUm `~[GxX G9vINW$tʄEmO]n,?_Uţ@1{@, o2z5KcvݔyaJ#< <$6t-˭@j\: &v_V%J~߾ v>8( I9 _`bF7[ey9LBFS{a ÍkQ;L4ʑEU*Oi^33R`fkO s𼄇eUbGi1&@isS0Mz{ʗ~[ Q3aj֠rߑ֪~BsC9-OpmG <Lry`.".KvVJw,ݻ5sOo6<"3W! $K*LpQ68LGFj ܓ|G4id2zJij87_3Gt{J{:! 9noV6 0e#x+,AۤҟpE3AFguT E\cglܲϯ/ x?Jޮ,dž:4ʚ*+qa0jã,#F5.{6C&"p@~nsFnpx*h.9^`O:22_: j?u DǠGd/R. RRBKJ襜)}ƁDNK e 6e3բ;^q,6Y <5xl"bE0[q@9TU/ S1eiv.nt\)T0:Z% 89Z\9n }5B^@6Fa]/'AsW]%zobn/q9R w/QnŁZ+鈉}cowP> }w vZE;g.S} 7jnh+I|? 0 I^Pm[() q7چ)=8S-ܛdk:!d-/TKE0 UML`prhaj+ף7XslacYFsХɴ@7e;b $48LlrTL˥H[$6}-UT#Hm|%t[Ճ!*Dm_7W!ݴ Or ׹8&+KB\,Ts>T^(q O1fG?w喱B7b㎼Kvi7 2[՟H ;qO\6BĢy* 00R2.~HkU1^a^mZ~D2j}{ҙTCyCTmT#w*ElpΫ戗JhсZ%LB_-%(Ѯ J?ʒ˙]~9]Sg|qFK d @$T?Jߪc,Ӿ=CHx#]f TY>.SC8at8}{ H%-^m@1Ĝ$YZC\MWjs aYmam1xߙ(Jx{ H[,Ь V ޾