SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  B B33 Lt m% Residuated_Lattices:threads=2elapsed=29.038cpu=51.360gc=1.612factor=1.777zXZִF! _]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(aV0jgC|DxJ쪙Q h)ӎ&ٹ:NƶFH+㤡E8bۙ}TjgQEX\$Y ̧uOĝE?XΕ&2)M-E4t5mcPta]SF0R0~^[zS-r%;łL|qtg辥z2Xʖ~ā/`vcPvܵ$M%f_UMf錪dC_N=|5J_:WhPE;p=@6T E$ez^`6AᲅWF!n'TLU&P<$/qÅDQp31G HQr6iC #{•]b{/vE`­7 ^UCrI~[T Xb^>0RJh8{Pwt햤"vQn2ֱ nu%MQR\*N* R,^@Z'lePi14I?C#۶{, Fis͉A@ 5ͻ9&a;95ޡd|WK:f2 J'>f9_C1[s)ܙŏ2pS=Hw_nݲtF)Dw@9 )`͠s٤n}q% n3(S5e}rH((M8Y؃<`LWK Wbi+e)btb)}iLH&uu[+q;sĶ>P{y#'ْ$_^jO?oM.CsY&e#V^|i˅ߡr^p[~PAy5ũ BɾaG=tۤ>M,4Q)T (3s`Nq 3 Residuated_Latticesg%l}cG̮>iޏ_Г}} jiyn+(:~'-1)@ZmB..5Jƚ>'<-Λ4[%LHh5¾/vǸ/LWe<}ӛUU߁Qz|nl*ǃ*\K6 K w+1BL}>pEC8yN 'L7\ewKPgy:/`h=ˈS\LЫ|H03/B \ cna71*7ࣵh7Ů9J.tW!BfN``ljX)/2Q8YR _́z_l9x%E}mq"qE;Q4`[g`6+K;\xzb5zI"Rp|V1&ãonaCx4 1oSZWT A|FK9"8!1 ]ŞfW.\p>/$2'^^QD3kb7j]\Ğ=;zћa]$-G3sd'|u2Xxו~kY X{jp#ҎT'~diY(#!Y*[Lo_)>;# W-YnٝDRs(?s.%צK&OD;z~xqgr٧4!^۸6t^%p~#g?!ˢّi}?]ݼG`<4i7k1Kf ]˸*c!%Qbot?VYZIuc>A6x|V4%42"3bo^l h&o;>Jh6oӳx\L~$41Fs#a*S:{S$9im' {Ej m?!/[hQ;TQ]$=hZGljw5P{ϓP@֡Q &M$o~!?: ضV9.U*`4P##wG,qFJQgEďzR[+yvcx"4?٫M1zM/ _E H̢MWXΜ z 9 |\}\ 1})6u@n|Q1:'^0C5u n_x;[gE(>5H"Y^G< ;_ix lLceO\yRigYZ7zXZִF! 1]ŗXi%q@y:9 j4wkP8;[^^SpVh;(U.xrt/~<\2ݓ\Lew6yOʶ=`(}f/vPudMy1u %b/M~ ;ؒ aI v/ԉUR.KfS&SK8RFapte+^ջII:&~,e}1[$Hdg_,݄L`8>;X?6%K +#Yלb5;JOo7(:r ن(,TnW$Gm\! \QH{ndr ;γl"cʶ|+z[/v趻\-;M1lqg ~o(dRS2is)dcWEG r:{v1>gdxiCi ΪOť&8FHE<24jm6kG}L\HGmD & !BwrdE*hL4?K_$3@A󈳝\|?vH_ވdtu{SqA1*:Zˮ]69G7p;0X! G1\vC >y~\RɟHʡV ';A@SɏIř 6%΍Ca&LJw@yXEw[h@Щ@48Z'm@^7^i_i#p+!$P9.u{-OIl|dU 5f#:S=~t1Yڮ? yOBɓ/wU֨G S:kc'RumH{U`𵒅z%+τ{@maZeŻ7>i.wL爵J} yugV"ᄅ,n_wd5,xt5:TLUOCfB~#*3)?x:4'4Ap\m?S~I!դZ9Hi~'[)?$b֋(=V\NvmujN-xu5"Ѱ*^TB@o KfQ62uj8[M|  6Ac0\Ơ3vJlzh`qi/!ʫ[,aÇ/*ūqT@tHT zfYS_鋛g'6he )q3xo:qtp#MIԮ11;ZHsS=H`?oov ܚTq2I3l2Qnp)޲y_XWdW'+9v&2Ӹ^-STSݯwXT!A LQ|W%C༾`LTjJQMn/Vq|ٖ_+/[tm'eS'l%9B`1KV.l(h<:|`Df sOv3