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 __z 44 %w Lp:threads=2elapsed=35.805cpu=66.936gc=1.296factor=1.877zXZִF! ]ŗXf1-/6vRZektZZ/Bc  LpHkIv[ W %s%/[)V\gM|[NēH%/_ g" υ?bUi4Yj (:8 #˶d]ZPX9~r=,^UVTRe U=D*?u o*Hͥqg@ k>6ODc?f `sH8i:<+ti=E_ۏ|^%J-!S8QMk@mO8iSSDI@bd7D?jxژ"z`aU;Y #St@%ߌWfyBftq{ I+>}h>~~­ nEgUIM p|Q"^ښwq]h zԐMA*4}kOo gZƕ" 9v3uLÜ~ N:Ԋ r|ʤ|x'֍yg8݀A"j{0cY*dlcxXvHsyѺ eOj@b*!/l1SJů>jH&  y~m5>RE2 lI1ٻDco E749=֫*޽6r>2 >+zgnhG L3o]{#ClyqPF)l'-ω;8}ˣ-/ VjEDt__H lT9{gR&)+<h=u|δ r]*{O@lKR$!L{oExE+н/p%56FmS~nXbsoCN3%^n!qD=^iBSB^du=Hs&i: 9p`k4øn p|lW LwrїcCZ~ S%Ɇ񦻙ϩ* 8zr6Vz̠! *i9`NɭOތDߵ򥰆WQjcz$eL-'IAWGxcؑ>nuYZ.y[ :BGM-,8̶ Wa̡ hn`EU0TA(g(Xf^ʛeܿc!! oSBT5~؍LLqԙ רOtN60no+3F'{$ <[ŲkѰ+.e TmSl0G_+K2@Ձu1iq,6u_/%nRX&@#c#?G ߧ.>{T&3xz"s%z#9dk;#Y& /N,3^3AψMZzrS,nL;1~]͔0TQ!?,&0_f߼\< XWkad)O9M/ A^s<#.Bua|3R3c.mhJ|}2B s+jRW5QsHlYǂ_,*i볜)͡m c|K8gA\!Nw6Q>K ʩR&\t:6A Pw@e Ev-Jhf}+v|HRB^ܖ¹6w}bW9ducg-W|CN=Wb2VQý:X)-PLo2U^y#7mCRŭN$ *|zXh:R;7Hs;?֠Z|3D檢xÀeUG[Pu@y F0kkJgW~ .Jygq-U΋F=|A5 S9۽`诩6٨= v95r}gTagEmϽNяd :BDhCth~fIちL em@:+x7)Lj|lZRXq#< NL;\x IVpO񭙦UHx&ez]~SoͮR쟥vُ!KċಮEu,Wf*F_ՑFr3/nG\F7[7M'% w*Fg53m@ܡm6% u*%hUϩXR&{#hqˇSD@Z|Pyk5(Dhm :Qqd(2ogWb9u Tov}KNF=#~fA@oصV F+쨊U(jc l-b\B^|@[AAŒb0'd WE7N.cՇw8O¤-G[@M:,h luכ[Pv⩄bp>+{Q/:DbK= '> `x<3Sԅy뎮G^Ll}lV87&Cy9yd 029 Sac P#&:L rM%mq!1JPgws˛Oޥ y>g&L:?uN׮NBnU =>wTbU 7:U8Nʼ)dYs_c;x2] ƵPPxR%G*W!3kC&,3m~wcV{yYaFJ'wv*ecK6pf)?S~sZ)׍gXjΊ$g^i6qzPKH3$H*u+:83js_HL/K9g؄fh!rw2˩I+ד`gU{ '/}ռTp2 x4 xb҂lK ʆqwJ<x0zGPS*N+:ȍ/ 4:XGtKIIV'ޫu}aV?'>yjQ`IBM~Viq.DjB(5yCZu`-j1`S#1Nv@++b eA y7\-grj!wFeֳ8AEg756p s^/s~\wn 0L ,+Ó<+=!@ski -&o~zBŝϗ)sb7,!' t.k\G6t8<>)5ͳHwߋ ]" ۘL6A] vw.gS w°`UYӯʳe}S_vvUebԛIa,{ü+_7Y*>:|7Fz ,"Fdp+%'Cu)8lmfyUϗpگa/5Li}8c6T~-^^X[*ٖ9i-<i!OE0ڨW:I3plcOtan S8Uϙ=8 НMP4 {N0>ɛS=8\" Xy$ sũ7!*b5?fҚ\wu+&P]G']áT{T($_lgJ};Axe/cĖ.k#|pҢnlw ād @{'M"YrѿE5\5Tfpu7*ecUZ\hN1)?`ag:*-sC<9H t`āOɆc)m_Q7U:'Ϯ4',c a\.nZ.hFEG5/3hMD,ɧӌ+KֳjMAxbZDdo! ,)u>T9n~!\6fjφ(}upDu@ߚlQf9d\"B/HE҃7gAx' )w!4c+sZ gJ8vȿr UZ'sH 3KlqT&^EQe%-ۢ!K~KG}&{~ӧif>]ȼ&1oE::HŦҷP&&dTJMp-ҳlϥzoC YE?l4N' uձ̥rs@so?rVG]9Mw|4 ME, ARFkْ!+>C`ߣ~|.2e N ) Z F936%Ez͌%DGAbPl# 2>k_]罏Pu_x BqfC%|aOU@z!P) ]ƒ/'~X)%+]tbhS 7+wT`6BVwU[LFICw'}kmRKT+wXWl$R^Z%hbc`lM$;Q yqD >HV/޸L_QH^ӢZwl׆0i;+DOD=I-Ծ1 _,x˧+Fl@1Lfljd/_ ik:FvXi 2wv,;frXdCQU(%I{sxw<2<D?iю~i%w# 3uMYHM^RW=B`E6̂YY8aa$li}7WjLC+KM?m.6*FB _b2u9thջ[3>GU= KS>:Q$ dU҅EYX&ƍ c…s&)ac!eZ?G|c8uP6L ̻E/H&߮W)&֫,P뱨h\!vL h5WCkTl8q!h;"rnaA|$to'!7`y<4?RyUҐ+;%0.!M/"Vzd~i#Ci:v2/TRYJTٺ5g?+Z0%aٴjlMN>ԥwk(1n%GY Mτ)B WG3в2tNXK.F]P :]>ڃnV $N|;ũz9Kw̯@bQ}aE}W%3t.m#w-R.`xskh~x|kņ}.CС# yjb) B6mWI}2M[ _$!5aElkqR>Dͫ]^] w SYx7\;x^ҊӅcp ^ 8&r_"eXb`XYAr"*iVvǙcm+1(muZ+04 '?1C1j{y? ԘxfwGd_1JE1/ޝUٔ*lvY˴>;ߵ^eaŗs`*Y ugYZ1699a168ddb314d54ec3cda089dad5af663c03bf 5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd 898fc36bdfb11c07ae3f0daade057467f4607117 c90352b640b748d2304028703132db5d042245f9 df52d5ad8bdbdc6c9c56614a8cc01168fa28924880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 a457760b79716ec11200989778828fac25d60f84