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 aaLt Sw Hermite:threads=2elapsed=66.479cpu=111.376gc=13.608factor=1.687zXZִF! X`]ŗXf1-/6vRZ*F"QنR`X5󉭅=UmF 4(,Ʀ-b\Z;j"4jC$)_@kۃ3!P b-x1tPϳTokY(LW +SJhL@9(7D{v>P> bZ#32 㖖tbZB&>PܐXaq[\M(pwV);' }L|kw]L"DenI[ҒY}([GPY.S_a P~ވQRJ|:s7K*^ \CmSŷ?+TqQ^sË87%C罹UWdfX](,-iNm+K*S[}|yz.dO,Yu.eOF>GI7?g/GE}Ɩ&z,QS+EvQA!wf%MtS?:EJ/K! gf 6J۩w߀ l09L{ t; ~/*)Dl2bb@uHeo-n\$xCX\C*7W(fطu9i\jυf{   HermiteZ[T؃(oqs+HY]3M39Jn06ƕ.UMrG[ at%x7 SkhCy? /ɌYGlarc/_p޻HG8rYx yΙa}\}J[ݻ^ߤ= RBoĆ->QP);Mu~Ɍr)ّ~ULSD%Qh9l_̍҂q34?P-s3#4ƠiR>- T}JHr6z[߷ܨziB7fCMl ۟4KsN $1̮D-gI.[6'@k1#64%qʰeB^;-?]c}3̲nIcv)=BXfߴ X#jJ_qE氨 tZǡ\)@GR?)p _PFyQيEaTCqpZBN(>Be .'5"SPŌס}_9:}䇏c㤚;!Hԩ#ߦ L;n z0rދ!D~\0#!B(ߵeTtxiӇLa9Yb]:KejoatBgܥ45j$:P0/_#-Ec/v8FDĻD]<r8g{πLU_؈U-EkMb|βm~IAMT)rt'yeC<6ɈaJ >?]p\M 莕neϽ=$b s3ʎk +F"}0(Fh@p0' ϛ|94Ytmt.bSd5qH/'G9]@[E63QKJwQrS$0IxrɍVƬ|]9qF7JNӗY ? !$R^fR~_YfCٶENf71[t^d5c"A1,!!Z|oFgWY 3*s;~dAb3T /)S-p~"JDǞiXodA/7! G$yvi>0[g'#a>!K+] ore+_~Goo2+rQ!qrW(ZK I>OIPS empD(RHr'YĤOW/ڎVsH/kGKg2#Ǚ1E ]*eR"GJ9bw4];aS{ت ?5Ɵgk?/^#IyvOQcAoi z[֌LPdRDVlѽQނ1zy 4of:?4ZgTp]xAsےÇۻӭCԸ pq`p꘭ZRCN DW1\eOۘجJ/?eA%kɁ10j lXP)Cuv#P9xHΔLT"Ocp1C5l͙]իΦ a9,)f^EN5v)r[$V. wGR#[aNC!kw.F#gt,ڠ%ڌC8\/6cu &h܏U(}ߧ.]v.CRU6rTc!`U7ixjgRxXd٩"9X֔#󅹲ʸG&gG>/2!w#vktyǓ;~ fh`4 yݻ`;6.F/o仗JD&PirtңcaafN*Fu0%!D ]X_(1k&4Xbaیrtg1gStc31W_Asx?WP[<0L[R&A]ҙa;PKyKx{y,Q.y'gDm0Ա&Xw6lnԪ ~Ͳ$!5~㽍rhs6Nr C|}rʶ]W!%kF GJpLRt1ݟ"~Ln3cP6 1Ʀ ҙ-k0׺Uc&Rsl_'OI6>;bhe…=L *tS/#|C\@ Z}~BU_» io6DDi`KA7M%@;EjxjOtݥ{?SSatX:H$? 0xHS~ G t*hZ S'bnhʺ~T77v`M&14ض=:vp;djq穐 |:ۖ5Fپy2te`c*gƉ?6 Y1SF=3ʷ°츨VAnyUƄOB8N K͓!d);EkǕscI]I* {-VPB l(j1v\ʈ{j{^ N0cQ1e\MzFQh!KV.#wgTng56iG 2h~ xjztcU+̸t8C}DHj05 :sC\#{=3G$(笣PѤ(1VzRr31f_y?+ LBGz[p&N !!!ua[]x):hcX!IJsYՔiHKHY bM@(ˀ+5is* ٶ}ϗI97<ک+R+-JbnЧsoZ uۤfՄQ;S{6