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 + 4 !S Quick_Sort_Cost:threads=2elapsed=26.712cpu=50.700gc=2.436factor=1.907zXZִF! ;]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSCB6[W-~\8z/itaz'R*(; .^oB8QA#[B7k֥}CJ/VD M  + Quick_Sort_Cost?@̆Y@4 N  פ܌1Գf @AžNz-\$p.馶)qDUd>X7%z rށrB<18.P |Bp Ż؃ՐNFy+bljl>D1Бp_l*cjw*cp?$!Z+Lᡣ}lP 4%˷˝TGpVi)_}TƦdw3\2.DC/lAY!9{'I=9iex9x>Р#%CvdFmx izG.=+Еc0i;/iۄIn?φ6r?5Q'_o89j322nsFu϶ `^2}N6t}׻&].XCdH!k]L K=$; bKV12<,6r!D=N4Vdxd̃ N;[rrfAH[1(gs[lzũ;3?)\HFN7+E:]-8yE>2fv]iFʄNEtw˾4%ysu0 8ԍ\Hsj@R|;tHe,NϽ$> ZB=wPk*o/U?5SuvSֈ읨fdH]NM5)A١RQ P0gvhl\ef<=p[gX?k.4csueG-Ujȷj[q7#rՆAw XA%{97,!-ʤ"箯,#)?Н-sOqe2QaHSy ί+!dYe#HX*Rq߁ *?~?4W 2J -E!aU %S@4}8568UjOf!*`c]LP"0) QlFXx-KF?l& 9#zdⳞ@cu/fVvJzKgCݲB\DYOp5y?~hr)y;A؝D& 7Xf NDv(9~49VAC4InԠB|Aj3SrJ@nL)!O{7K: lTW͏`ƾ0&6ݎlJ7V ;'WC [Cod3 qx͞ģwH, G]>CS 2&X5xܨ" .WOdnr~<#P#0lFQ .^D|4:tKv<1R",F -\-4N_,2~WJ\Y,\{QGĠhŐWD}q( (;U<g($P0h~O^ 4[1j0kH$/'ǹh8:rj`:XҨ9HV!Yځ%ɨ{m܋3 u4-G$!j"{zPࠄ\T )Ss4X$[}!(|RTV\gZL5VMWauKy'E~de|L'-k|2ld>^0Mt;l`*BT:>2C:(4`'[sWiH`FϏ+WϢ䶠_' {R3?vAYKCn.P]9ܐh}n"Ö~t_uύb, V\Kg Mʗx'5AL2.5%v>C~x>I;Hˈ y}PlMy[j<@B8&V3تc 3ʿ:1lLpF ڷ^н]aۿ[N76} PR[C6߼hO{ ZkŊ*-i$p:z0!cS]I=3_KmAG8JP x~/*&mfwYZfkb.bS%M\L|ଙ3P06L^ߑD+ӀEW8QX:..DT{~T3vq`[n,jG*~ 4 ަPO\M|T͟z,dq= {c?̑ `7nHQY?njAs/{<9Im`P1'SA"c"NAR=r. >ZXGUۇn31L{|&0<  1S}5Q%$ zL в֋!"BO.kl(D~N?ciP‚R+q6W5x waހTF3-lߒ\)^ХliO8=vA E 􂩝blCf!#ԫvo5YLSȮ(WIp8m1!Dd^=Zbp"n68#ױB JAX MS]oJW%`),Vwt-Iw)\( l.-.eDF8؍"ֱgYZ7zXZִF! T]ŗXi%:2EG<1Etohabw6zh#:uvz~d(?\LKGVt0&qЭI[Q/S?Pָ/4G?.\ v Q҈un%󣮺z ҂DDٍkݱ=35j3Y7 ]Ma=#]Dm -ګl)%+A7a<{%^yՕξ*:VV, ~g3E ӱ$;O|@`G;̓EL|3) bAVc *Sc#x6߅r>/UգSY$wcԒ _6ی1lNfsݢ#ܩd_ReoPU+4[>il.8&O %h޲ݡlfzK-jUEFpj]zձBIz8 ~%xeٗ0Fйeq7=54 RQ&RdFi֏łr;sl9]Ib kJwfס`Yht**}LgaA2 &~I @>VmhG qp|AMs0ekTt>e_-K$ȁwиYQz rP؈qG(iD0& >i@ w4 ̈́3<~,,a3#zC PCER{jR UcH /4t* $oq6V4ݥ>XQ Z['}Y̕L,օca[ _޸$)/ro,fJKm@A/'q23E(1Dn2xlKuJ_^˸^+1qǢ/"zҐq |7Qu3;dgB .QTA'^ u) LaR0(7m! *Vܳtxb%1 ӑϷ&Fq,Es}jA1(Ϡr\Tg3RRDtG9>sObiaTW|@%-Γ9'o ĉjmKf7-TԳ5ߧIbјF sYt##m@/N/S:LkM66%*aڧOj>E^^l.绤=g]u F_&Cw(J,W.P11vCr:pe +Dοv8MF}qR-kn@sº5;qMnE^{{#aL <'u3(= Zwf^q8|JG6!NRJS<> ?ß&/a-2.=y4ܟM.A"5s/E9얣?nr ?+*FGlt!Y\uWTж)VUć~iIu[XU㉪ g:ea2o$s") xU0DO.HW'9Yp.FuvBnk|ˁ܂pgʺlMXAp<=ݐS :b3) Wp)ig=oӓOv;tM7[o8rHf&Wgv>f[fKs#'׀3MCԤչQ(6qմ