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 /| }/ HOL-Proofs-Lambda:threads=6elapsed=119.302cpu=146.080gc=5.412factor=1.227zXZִF! G{]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{K5u7ړ&3 0tpԓ()DDKwPCW4/t2f|*-x79_i)al&ϧەæﱢ|DΏB5 / HOL-Proofs-Lambdap*2$W͎eT1/Ҁ3HƋVDoSy:)7|qs3Mm!%~f<u.zj4֨&0 'gt>RN>q ;ܬ43J}@ks"<9ɨ$I?vY\"ujF$f3tc:S9죭o?k7-7 8is`SeR\.줬}8[RG=\tb^kd`%CI`)™jqzh.N+$|/)^ϸp;v𫼸)Oyn!Jz3#EFi4칿@Ah Z6@ɇM4 @vtV@7.Ӿ.`v[_cb' bu W۶TfDq]E&$IZ8*5^X bzʽyEo`|Fӿ!E'o4-.mn~(4E吥 yt(F5G5% w'7^3n [F-I*e\M`gQ)tq'1ӹIΐB>jĜoȈ,)%b6ȦZN֓T[yoR/Z#2}):3i&++o^!8ifTKSxDJŵ` 唵( 'xp*ci;Ͼ"%q!e%3YwLQ ͽ Pr'1g&`adf2 cda9u udGuyfRϯMj՚q);!b͎$ fK YNv>9/@ h9ĨΟ+:fK#c(AqZV<\|YHLn8I ^% BWk))c(Z4hkĄrF˜H{"{txbdvIv"\fqde@ _?Co|]E@(W>\0j%͛'6d)]KWKG EGdb涶  V;H ]:셼WHu-[!~߄*03O.c)T,ROV蓲@(N9aQcj!5l=`>圏Md-^SFU/cu G!8Jw ܺέ==rq\7o.(Tes[gWJJ:e8XmT#JfB@mq,,]2V#0.g^>xx.X!̰X@&60^`ԗpzIRG7È$&F;}/Cs|0bn?K){IKMp[3?Yiu;5 @ ɄY5.H2pېH 6)HI: 8J|cv; B+\S sQk?4)8B+44!0/΢Hs;¹CS5ajyG+j)"F%x_p Wݩ* 1\rsXh*@=O NQAdYчu!Z7k&TTY⺜X&䑔j7[2w%J0ڣؐmAw;G(ۀS~4]QPZLw|:-Bm4NGȸ&eQ&JgC-tu,i ~+`PնnaR *N eZw+'nKf}9t3LN7G$-|Fև\n4eHw涷OuZ$W=qy0,~jM%kWwO`YvQ/)𭥳Ac=Phpg+0F(b"QхQn;@q4OMdU ,cLLa`x-(G cj"{w}獯4$jLn2N<;}nbi\KXYf#"R8tX2-,ՖcOlAY>я 07G6OuIKzC2#ip>? By^Cl~ma>]iw!-o]I1,/PP VTqal=H'I̳ HOջ {/Ѳn;pB֦ͣ?klǃQ/nё߻',ج3UT9$cWF߫/M6oY,#07Dq1O?!coMBv++Id]߄;8]1 =ș 0+_#`5LJD128A=3ٚ;_hq贄zպ+]"I3BT`T-+ -na?B pU8/Y=aQ 4w#^?p^|Xg[$?+KAAݰ͜qm$!'|0sN_ғmTہxvr=j `v @z[pV ^eG| ڨHb6C *~yQB:֫6Cj }Hi8H FO+ Xq/{I@QA\.j[:׾M$Ln; I}'LNa ^T9k?kZĨlT+1 ?G =gdK6$߇|Itʝm籐h#0*ːc7\s"Bbó5@dN/rLrŽ\]n?PѶ%T׿]{H8]AvMra8k,a NGE:=WE5e[t-4ۏ(c"H4W,K($E7Kk/>}L7x;5(N$|c@,?i4ęymhDs@QИ)r13, حAfE! gè?" 7j%jt˼Y*C%47Y3 JI6@W$κ>DXw̢F2w*K% 7sJ7] u&):9sêeSM޾*x{BJ֜=E{}FN[^Hz֎G-hʱ5DjQ/f$Lk E%>`zbm9y.h)DghӆNmVg=X`B1e4ܴ5* (o_ޡc%v1