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 R-$ S Regular_Algebras:threads=2elapsed=96.753cpu=135.140gc=3.704factor=1.407zXZִF!  ]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+uo#ԴZ ,-G #e#P}ol`vlwhxݢWUjg8?lG3DS97\!RlWcx7g R&,#>*e|ϼ0.>6)eXwj@DsʯP+|uE_@wX%߇;:(k6GL jxk|I *GHDy7" ^nZd.lqPr$#xqMB Q k&˙wc[c^&ᗥilM+KC&(1.yNv$PVZbw)>4PG6¨s6ke)uh\(*-RQ xyʍYg'zv( lzb1DTjf(O+Ey/+ذcN"jZ+_hjY V,1!p9u!4}p!b3H_u^G6 B-+6M0ībZOoNSA`{+.@8}kŅ wEd*h(-5cꘗ%* w;x7,^^<8O31m`յkf?ٌ5Q8^,,|?і?t ^MB=B;G"ezux#,k{ T;2" x"wY$35]%bqkCPǐy/tfp MV*@[ǷK|4pKm^Ot ̨Cy)C=eP#SZd.jBd{mo֛=mD t`W*:>0 V](An2'BL>QBtCQ+a$B"@ug6ah7pL$lz a:Ow~9'.YTZZ`0 ^ ;7FwV/\_C]f7!}t\}5^@RTųL#.bEi.Z;%/oFy1 PxcwA"B~To%E EƸn~Ҡ FBInxCedg|<=!c|րv>$`6Pd|9lwƕk0(C[5d|d D?l$xd'T*6\|&@/-7GԺ[Rnᴓ++ gBX~Q u-". #arJ -uiKƻw͖R*/&$+ B(`  _hA7݉'Io{ &( KM0xs:nG ¤hk+kd`u{%4g>rZU;i'8ǥ YeO JE1E%mg@j #xX Wrq`[$P^ആ3jC$.[R_"8GNДmuxs*j$L|H6a I%>7<|NGpӪNR-{JBҶ% zwnp;0:gG=ڝOT˭BPv9Q~|לdڝ Ě~g8ӴC /Y2jsz0stZCqo;А8N[lc }eaߚIH-E.h^G6bVdCKK3~} V~5f s [|%#\TD5R&C?ilcѣS-Ɏ=Xqjf;h9'1v41|ٓs0S^1Ϻӂ|ӔӺ@=݌ȁOKE%@Dζ0dŌV<.f`KaIm ۂ֣׬JhG5qU)~U:i2Hz\U"[3BpLz5=uoFSUD@G ޭ4=y vѤ]'&\NVHBE*:]t|E"~f\ߍPqx^39h(bi s4Վ zZ?C ;hN-Y)U-t(mL!7K \m||9ߘѹ.)}M#.'eUǹ6o>uW!8A}Ē"ơ`&J-cN֊y%XxCF3Dp@:pTB{@l<E{3  ?jҬE/x<2łvK/ՂG\H^\ <;FB=pϾ.x@4ek8(a|kJձ+9Pᕠ묁2?6H-d6("AηiAO㟢3F霞ݿ,bh$*I8j0ԏ=>"0Tz6! ')Pڶ6c(6K0Hbں7_4An\vJzlXPJ]y#3fOcbAf:yp jeJRb .gCTwL}ٍ~U"Siib+2eKSKTƅ) %˪rc4+L!&.^P~G5QɞRsydp+=%[:Khd /~x+-fX8 uwuy#ҳ^ 0hY3Æ;h7pHޘ2<U;d\PM>%Q( ~b% nG4*m>nḯp36faZPGqV(; Kkr_^hTBFśmSBTăykE)|a<\ ??V+,,SJM$0!p3 b?ڲe_Kr֠]8?˹Lkh#3WUDFA;m> G:n&Q#aM=(SpO^I-6- zG[3(wBp+ 6ֿPxl,*k{R(# KwQr#/!P>{%ͩ閃@:$BuN݇{#^k:mWB[| @UO ]Ck|)bUP֯3Ww`yAꢲrbU%:sEX r|_QR^0Y*>ّ?јDA~-v?UAjɴHHK^el"Cw'[Tf/yX9bab&$`f dA>%v+-]̝Py93g\K9s7kP+4I,TCONj1l" uՍgYZ7zXZִF! ˰|]ŗXi%3 YhFr2Z y:2K~ KɔEN#pD'a}6[}9(ϰțgnLAXV^8Q~/qaS,ޚ=*LT[7V99E2p͟Njw]t>XҗoBS}ɦt=K܇rc4*--hu6NwնYoK^!s?ZV9o˿@K vu/!jͪ$dK[uzO𨌶syIh rOTh}Nv˄ۡ-˶"EUhT<N ue\Vh?R~dM=\v͓ښ&Ttڮ6f4ZC=ϩQRobM?)$MWw ʺvw#C 8&msQmQSբ\0;8 J%U6Ktc1W.X$4\Y%ɂ\8x-*;qQwer\~Cc%֫ [X'!aoe֤lA bh- mРô8}|]M>?ɣDɖ'wņI1弄;BT},D {I^$B($0}+ 2Р9)>v(,͕|%at_3A;DJb$r#E9oRv +O8v޾K('*m+o,\ ̎Z+0.9_- n¶?dvbWمWC3h@(bF\,J9ǽ IaR\s*.jMdUTv3V;s;uG88WվrJ-ڼޓRN0e:n_.}SrQZ=ۃ?n:nE X.M"gc!(pW7DXhwUv}>m\MQe{Q)MKUbcnPKv%[Tp9 d\lqט c2OUs\~QLH-Z~._9fʹlvl.=;@tE C0j{NG~=T ,RTzB<|ڇY/)Ơ&Xձ Y\ϨxiISe?.ޑ ? 2'av> (td%ґ*7:?,d EA f; pŽ:A|hR5of>cthcmVR=g;lg@- z@A絪Dyl3|Ʀ3 ilɎLo<,&D~*7ɼboTePB&?n V/R_KuawA'Ҍl)쮐SXO}d\hഽkdOHPa.^&9~_:&䨍JUjqqXvO}Ĝd:|vTxHeC{C8Ě2<\:h*H xy\ǻ+'E;K!Ft t,Y鷪;Ӿ Z Deŭ a8Pb\WL-זN{l*GLIgh&4d|t#Z1ՇDž2:~ .ϊ&^EXeҹaVd|+ 3 ZޗCvhZveXo"?Ze?jxiۆY\o/㦱d\͊$ǻ+[@,'g,> T+P&FqܚlI|rC5ZչKO #!6,VȷNvU5ī C>[bz<qJmo~UKqgL UG 9i d X(~xB;,wua?kT-yƳ6x_êx pf 1$8+< c .*uNphvG E҈$N0 |l@epd輓'k:1w'uHExRB$RXj-Ayj s Q{øV.T"|'H&vLY1(Lރ{d=M }&xGeiQ^q@U9i7'6B+o_]k6 J=bPVe6+w srB8(\OA Cϕe!žFgSG^MYm]@IBm}9!C(͕5ā$喛PSA! ~ߌeمu.uV#`F/cv#Mr0ג?"AD e4BpyQDᚳ'Pj?ck됂rbn'#,l1`HKA].i>X?IY3]tgCĨPyFImmi g76Iƿt.-L? E[U4Xt 3JAqS'8@ fbQa5KnP٘{@j֨GEQ{1!!³?ĠZ=VA%HaLa_71z)9c,԰yi(-Ku2}rٙj*Mc6$+#O Nc{'O;t} IL[PZ$6IΜd_p*s9jCލࣈ8s6ּd4k4fLVJ.Fh۫8*`+ee}hrޖI >$b[`_M U\0n(r1_tȤft/LiFǏ/>hs2fqp8p X]OךgOm\Ljc ;*{,~fTG>:x黡Hs@yC=v1U1Tб n0FG6L`__7^i,1gv`=o(,I_>/n>;^m=˞L}a&Lcʀ ͔_ze|}qXzeUab| 1t? 4i[**5n4k}1lKb+쳹 |00 >]pYp8o?tߕ!8M(=azh,iwl~d}Mq|Ɖ$`qJ}B1(ĈI*ЙюRзۨZ&۶pzԢe?zC 6UMW/&-|@8߿1;>c[:Iz4rhՒ3ZMiOsidEUmsVQbآG.0:kPlvfy6d D(P"Ѓqtkf۱r9nƭ]?ޮxUIfG//+šg^: mAl]=rA:MC7}ˮzw_> |֩v" jFA'"Q8ҽYc*mpo3ЭŬok6^eTg7!׮m+X&,/fJ$yѿ!U14p-_wlX`-(jxZt7k 沛n>c R xe/}o¬'UQgz&>'fjlDa: R6ٽfX:vٓ8o:J_HS|`єnj&* w>ˏ~_K>Oz< RZ&J%3Ҵ[KuEq}ey//ƃ0>(F#XLV:VXp;Vmatvuǿ