SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  ! | S/ NormByEval:threads=2elapsed=24.911cpu=47.768gc=1.396factor=1.927zXZִF! 5]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾Լ]!ձd]'1q)"rTǀ90I%T5h1u&[;S%y5G5ѻRh:9W}}O@m҉d$aƾC?uhVŹǦ9 R!DRգ6L(jqh ȍ̀Pd/a[ tn#  ?n5VD%xEs]əyT!f{wܺR֘ê&m9t^LhC\3r]..؜la|"loܨ="Fό7rm`6Tq\n> ؽ!' u K7~-i v^&wm[kY 3䟢7͑jK@y*wreDoTVcȜ8 WҨ'A';ThY =״_i@f]j国x",R}<+oX+EFqϝ\/i{9AOD p6ǨDO*q_z@CÃhuo,UCAo)Lt 504"˻~X4+wNwiY!]:rPRauTӛN"<+iL$Wf`t$Q$.GN#<ќA-xTkd+(>܉"?|Lb;la) Cb}(`~Mn2љ $%^C>HR%G5)<=Roj%v<# !7'vs|aplP_y>z%kKC7l  ! NormByEvalo ֺ#F/~ Ug1\/0idcz/'$??E pb>{7b&xU31gR:,ipęoJ=`@"ccB'`*`z "zdt %(Awc"rC \tx|h'fD&A=Vv HPZcEq 9pB p"}(G~uM”C9Z/ adzFhTmvyp$Ӹ39:7#nBz*2J.Tٽj6NΘ~n^|h 2=EARnXP}xM4!|wx<*Yr/?a9Q̐fG}4V.FCÙ ™Qy\O"Bs 'b(%bLLMݐu5e+*1lu1'Ӟ-yr/? rn4)!\-PpzLOeǫq_z6;|HCJ+Ib1Rw/mƾ/¼a+ U`4PTU|8z&FDk/K, ;3`9Ք:ɻ(..YTkKcܠ5bO/*YvXX1 DήYOkur+ۋCeǁx,VߺwR¿s uX}0s9TP'@ԁ% ;h}ޚl,_ {4*J,' BJ<q[@ְX~KJ L'٢c. 9玑 8_k0M,땿Ď'xQG&Tp|ϯX1-CImβҜ=xů1ʸ}]+$624aޱW}W#G? D^$X]`U )6Ef;X)s:$R  Hqqr׉8=#"pnQtUݟMʳW9Rt*xKS—]2ݛQ!pȖ\wOV3"$CBʘ"iFo2e-a\4Tԭˈ(9rvf+ S6w~ozl]ceH*qMImD\e7X1EF&3zQU%U_S@Qd#5(hOKUeWl>o'" S"|RM@{@iP6 2p=I~7m27j W};]>`ڛֹU@Vub?Er)*Z :a'zϦ?$|xcI"A>*0bC஛(3xTdiDSZ{AU@̺yq.U*߅s!ל5$&_9 NH{?`2Ʃ^!ʷ(ıu4jxkXju@~y7Q$؎4-2]dKuBx}ғpA87 瀶Vp2މyNb^#Օ/h#JHDYU?7kjh^D:ʗ U.z# z{te٭Ps3_\quPZeK)ۂ{>\p3'&h.tt^R$^5 dc0jP>+n-Wf0&ߤぇG f(^,Š1,@eFNGX3"2me靊q?llֿnD>SLG}b Hq(E& AS7-I]V_9lǣ'bmϴz͒CϘgbsZbWH&sn0Nd،ϱ?@?qDvqOTxKAAA=-UJh#gDS|$&< 3w.0,jd4a]Gǩ:I5Nэxߧƽ9ih8PM>?8[-^-dy:(궳uiI[^9xْ#%t XZm218ԏf6hV{%ݛH㧲/\$jhXCf9]3cS6x|ݕO5 \z6d'Rύ$yˡz1S/}}2BcŖ$ZkPd$Pͫ{k%(-ŴSHy ൃ^L9bYR㦋0Ԯ :K`FrPQ Llr_yc5%P_AlсPd+wɾ{+i7kON%ooй2[!l(h`vviwh?߆@~ȳ'hbyÊv9Ǿ({5-}+[>9GWIK@ZCzğALۖ1Җ'QoLPt[zEX#a!Z79,}IL Vrq0Tr֓wf)uHآ17zi˂Osrz(ok`1.$+$aJ<'*|KܻT$X摸8McT9 آK# ވ#"rM!~X+m"kRr_Ic/QZ*)Iij9 #³Q+HwD iЄN6ƊǡɖhL 'ZJ]q5X˔*"m8 r( ~f*~M7knf=>m0B6H7[#[G>:m`\,M ~fnW7쪛Fà MU9wy71īj8*P޷ܞjlKK0ޘlgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14fdb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259