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  O O&;$L m]Stone_Relation_Algebras:threads=2elapsed=60.539cpu=100.676gc=3.228factor=1.667zXZִF! rZP>ƉiUzT^sBq(H=죢?oct_u.;%04A} ɢXr>;ĩw&X08RY`bb=*B>hok"HҘAf4c,]$r~cwZ:>:(jwIG^2[B'<+ASϋ [*_U4!TJuA[a^ sDwa k^o {'G,12p}52؞E؜$D%^Ȇ _<0Yi'WM A Ebd&IH}XHb4qFDRfr k̺ղߏ熥s+ B7,ѿEt׏o`꧒H%Sl7S>ةguMLwi>!q:~v:jƷPs$p0Dbq2>W܀)(v"SC]7|"h<x3l; xC ; Stone_Relation_AlgebrasgYZ7zXZִF! & ]ŗXi%6x`ָXm+RTLmtN%x$W惻Ҵxݴ{åгBl鶹Up/mk rЗR7^M}.i3QLUmܾv+OfRyMM%,}f6ʅ-[f~L0 %߸ 1zXe,դrs'?~6QޥN2s&xi3baegZ@6fObK>wGdfQM$>ڸ+ >LL}[ JV;K$)e:H*R/\(y1v(+ buHi 0[1suy h镭UuEvV1XfԽ1Y&ĺ >q_ǨԴ3"J38Q7K:\ .;TOF  ΖDҮbD]5y D[M왑KDIi8 ݛo1#5qƩQ6VN^`n>]!RkXdc\\V'j1NJ0v}{dpBDzuJNs2(Ɋ'ZpU [MiԛaB̶'/?>]0E"I֏ELEF8z6VR<ɶ&>2cmkpң7YB>}!l ~Pt_ʕu=Ht@IT({Tśa9|ŗL9yiRnt3㡳N8߻4 T=]1Άɗm'*DN;)'7dϢA%"x0^iU)/cTׯ傥ktfFEcŝR6S"3" =HymK+B6`F*GyG{0iNNy8AmJ7Yg&`Pڱ䃴[tMZ1^$oY v*[ޥy^9A~sw'3aIgpU^E:dj2AYq*9 ZxH@8Op ]lx\*4wVbtǬ"j% e L=g bNilӎfx}a>N#h~l~{nֹ8L͵ W@Ϝ҇AMp9Y;UncY鹐kC1vloI`c NqM)%}P +=K3=LLu(MMSG?פ>A}'O⻿X'eTnQ&cl_I,'dEfak5@"Z+Iy/>$ a47s'C{{0#\?hB=ppQV dg< 8N$'+p@7+>ve *MfJ)yլ漶bif?H0^PV(NZE ƕ1\K&Е/ Cfvm3ua8 x)?y:aw`Ya( Qx{)<8G=ri5%Jy'Ƿዎ :S%erY?FְÓA*F$d2z[;>yySy;Bneěwdd 9O& 6, *k&ʇhD1{JȺXN'`i[L0&֍eY5| .0ru)eIwxIB j $`{,7(7ɀZ!\Z=j  k~*,/47BxYݻNBs8{}F`u;k )7Xʍ`s<T!l] AmPٚIzQ`BH˹/*NܲGho+s[gL^[o2M*q7r2PQ=IݞZrAxX`reU˽64ւ y Vh!Z,/crDB R rtWϻ1^j(i:ݮM/"'Jj%,EP_! 2=fę]Gm窊Z@>"WVb"3XBy<.6]%Jec$#p_%X]G̔zu"785ׂb aGBǑGU, ?x__h'!}irӅ֨ʸړ"aZ ڒtqQHHD,F7vj0XC7`_6\DuH3͞ޖgXMPMvSVTtm@?K-3ѕK 1k~,и2A{12M`:N+Vϛ x'ߨHĘdn=3@UL/V=ee^|{[w6N%@7.0)zJE_jpvj}Aȕc8Fu!O=͘fz!V5rHIRqs,Y2Zcc"5p_r+ z;#zVԈT%yԸ y2ZMY,^T)a Uf`'UuaA`g% &u|,FKg=8SW[a$f:8Dм?ǀfL~̼vqB77Duh%.uZ 1w}A~;]ܥQ-c_1"V 1t0s "Ґ,ѥSEe9A~$/x|ħ70MJVbe2QG%L7Va0NIRr&s)@s";!=o#TuK|c؏mjJ"ؐ -Dƕr*)Le+xv?~ WZ 2W 42V2X\!l F`qXoFU+*Dufb_ةk+LPxEC*dt)Uƹ9 Ё;)mNv]F)y5r @:ˡrc_ RXC7{H/|rMim2wm"J!=t<66o?bg^a31cr\׉l1iФz٢ȝ*o4/*Kt