SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #9 d\ ?/ Locally-Nameless-Sigma:threads=2elapsed=35.685cpu=70.672gc=2.564factor=1.987 9 Locally-Nameless-SigmazXZִF! ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂ\F\=\APO&ЖZ52bOl1'~:^Ӷθ!=}UfTEc ]o'&a (EzR|S헉T߆oxƊ)wKd¾M\]*d@ 3h' 0"m=q8A! >ߩ1A U24T|}%/ ތFVzwOZ5ވuI܏P؞,w̤U7X=}Y9xdm!C/a؜$X#on?LSdTҙ,|ζ94M_M9sÏeQ&ЗlP!>D3!BMJO\ 8^i}҃qXFBԠ&7Jh|08*#@-@`U79$2CB<-I V'-imݦ˭A*F̂m )R43ENRVEAM[83F{0Tu!vnLpڂI;>9Ek0ڔqY4'w+jz.t5=!6ʢpVAc@B,m vql!UtKeՠ #Cdӽs`ѪG!l+jǯ "2̈́idCIH%mSoG vU)N` l:Felڔ%Vpw"\N+I "j}ZX\:/9NVɉayl|%ݬ/z(\\dzA<_V[ 4fxm#&U>%ዾ妭r= XݘC&Ae( _WǼ01>!~r|̝[2eJr 3\?$:a=bO_ S-7X<`5`8|7,[V=ۖ("\C~dL*$ߦe相@үL0tX;_AbO~E4ڼEU%FIF=r'8=sϖNv\M}ȉ6~^L Rk;A1KD䇊%:SQ9Z(13f/F&3xA*R0n|d.L?_6WmC-bs,EV*@^Pu/(ҡեrś4Tۡt q Sd7]WʸaTM@m#);HZ΋' ^Ar84SS޻I,N EW_| 3({A*]a:f<@FjI#NAOXGΏ.fNRߴoA]52/>'BRLq~x{Q9u/z~Aek"`ʪS`T6H>o%є-Bhg*Vo,Ew9 SwfG]b]$`KI)χdWխNkE̠H<'|[0S<| (J^jlc өE\lmL.QTME8%H9# e_ OC~RđXNu{g_!ſu)1Hp-؛CQ6JVUuL"L$a?d0Ҟ5N(B)r1qIg.zԿ $>x.ypjMyDaH/ 0g:A80(*C#ݑ=-u 峄*z7N ާʒt'c7Y^Z!YI^;Krwc"q~Opɇ)oz9#̼Uɷv6fc۬E:-5#5!7%*n?(,d;rŰ+~ ,FZ$ރ|C_ ii{\%*IrćX x'EyS+ gHv`+)+/0G~NX',*WUD0Pag 36njCd'ֹ TPb~"_IP1pU!C2i yX1 :ҹXP?V21kFJZv̠忟AML|x/塩UF,gX}`1WcFqh#w6m舼ኖ_Jjy;xK 0{/ϕiӘ,[k_qPSrۄBN-.`gx(6tR.,9<džкzG\|XqG&.@Hb H`d&}+b2VU*m #+Kb5R,Lw;!g3 WBG!Z뵹/øz;&LF.z&&Wq^ܼ?xizߝbvi[ೇ%PrN cK :h1eSGy;&z?>85c1HPqLn;gv凡􇽲oਫ਼X+}-L@'I5UcyxHWhUaϥ8bƖzȻL-YA0=?6tk-ڥ)y4-g!Rrw.!4=6+Vi|*i;5nAE 8Xz^@:=ddWO'cP<:i EŃoIM%xo M_Ip'Æ/x%Ƶ˖GK`S:0[3kFuhKI3OVМ_&Kb.!"UǓN߰sG-=bNagENrE tyTT|s$}7TsEՓ8^dw֪D}& 2҄XEGԋqnjoHqЯŘF+Z¿isUZݻ+!w4h-Θ6kF0V."/#7R/)j#ۥ4uՙ/)p5)v0pb-öh 4I2|F1h:D|Db6S,ւ/0XԎVe;@Dϛs10Tʚ??ӖLBF`L0c@@Y?RIZz>'d` #5=`ևy0DF̝ZJWE%t@[̧"놐 0raoAf*, gYZ7zXZִF!  f]ŗXi%wuwc4F]-Sq)f]ڋ7DF+ l6۩GӁ ,ՓR'n#g3x_$ aZۖSkt}p&S7݀U@ D")U>J7(TbL90yh5JPE$=WG95@ߗrE4cȿ3W+zɱc9v%3IQp>PKtU8Uk7vkj{y.1җgݭQ*4#g4֘#0 !- ={i2TI~Tm,kse2S?yLd*AMUN5+ 6x]XmL>CY)؇A…{f|0K7DƵr;Rs?1A$pOŶ҅o;kV5Db^v \_8~,ݬ-T.ȣK8$팉W Kю.o-uvaFWKeOOCQ)BJ{>fD:Ovs,/.2hw]yDhN6FR.$ l|J.pF3l`[ }nEo"Nߩ8pqEO+HIެL{y&9m,!!;,;x"uoΧL~``wv*oyijXِo/x#wG!fq=8Ч2Pp КGR͔AqTu(J3kbu +B.?>G4OoԄWwl z铓Yz="[vٰ~o͘*B9꫶mí8ٚc7 ܒXXd_Q'ץT~W!`Q};b{6/v 1A=6T8i, 8qv"^Px>ax^K  x@Z\6IGLrX]`ˀv z (kaBeyeIbTz/逯Lom#fe8́6{)smg[7gE,sh؋ H0ɺ.ҌP^رQoS2iSL/ AYlvwtt#4UV k8~Bqы-|P̘4=rKM38 hD^+Р?oهQ~wxb׷VAZ_h <˾TkdN=I!e%|sw'8LۃM ?GZM~g4%j5v30h0̡ÿ7 p7>QΖ)0,2pѫE$C$Jei۹ ϗuYT^2 fd _U>5>&|4jzp29&եm[:ѳPrghafd*ķjz}[z'm!?: /#(Hni/ںul?y!]wg «t;