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 GG.) L %S Multirelations:threads=2elapsed=94.357cpu=101.684gc=4.168factor=1.087zXZִF! 3]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&͉`m矲iB7NSG,َS+TzYL)X#ӘZWիD_yrIʃb:N&!*M-kI~S(؄}T(h+~!4 Ɯ+$`r4zzŶՋXG"[Vc"G{7Wܴ 0_?KD"WT<2;Clk$[dċ"zN8f)S??;N!$1g߇/6,4? ~7Q|$!eDN_0 g+wP)()O>a&SZ,1"PȄen#?Dggɐ OM~:BH2D{v=Ic^ZU.$=8གྷ;\鍳 5>КQuH 9OIQp o jHljf9Asɟ~?SmFST{>niFkF`<"1  \؀j{@(X2h)j(WCˤ)ְ9}K8>p(4䒆8A14S^C@Cbd}n>*_ZYLZ;?mڰבd0m]VN@#- G׼ɵJKiD.X~ hX#|[~kXE"'@)b.-NM:|J#qq| <)~Scs31a5kgE"K{G<P6zZY-LWCu}X9c\7Ābln`9v2 AiUX;]hX8r{57xf g"gYZ7zXZִF! ]ŗXi%O6J4m'kwjL<_T7Ba1KX~FU'Suv=#ȇ%Fk`PjDw7q j7Ć!\ɍӓQG_MZ4Λ4$xiBt 4t>>'n4':TghFv%|*t`TqTb}A}zWem9fU w 2xhOVMYs3#R:]މbѣZ4G9$C^coNS_~{ecpN/޴`+)oqh$&FLxC Igdn!jQnO$*]ɇ0e"v}O(9ʠb&L$WI ȍ98"5%+Azo}U tD#D%ڬ˔:Vf}R-bȢ;S_7SY 2]r'UN{ymRgYQNhEyQ_E;c5gtTꊼt(?] =bi"1R\+pCU.Qȩ ) MultirelationsȪ{]7Xc6?6 t+'gng}5HO~#߷O$"{U 'u@W@dOhX޽έߙNʚ?κYB_e}n /7;i#rD)r#9AJ|>DL!I JK/DS1MYdΩm%=N!6He[yů CrCm?U[Eu!#~ )"-b7? [+J/X=?)}Z b g%xC9z MbK戚|Ln G1i;\z#k'fߓnOX4T}w8/0`z2;,2ߡSyu$^nŪ8$r3йU[[blY!DyecIO_I_v?{DUu\T}+n\;ɍ~J1d˝VMɦo(G#o8`ʮԁvH4gzPYI0m0T~A]ԥ\`8v$B$,JcPQ8jܷgSPH^+S,Y4m x+֜77B݉Xғo&2-q27JdFһEs"[BG@#m=i%zAyKGY^s=O&Hmd~{f5>z"]q"hЦ;x!sp cyΝ+5wԡ^^<'x"gIN Ac*B"E[ 4O@>ʻr97VK^[j^Oxh7CO]Cy\#+F{"ɴ@{Z6%Ӛx`t˃WWhI_ƀ+8%:=9p B ß#14fXu!SfGz #ӏ<& L(˶ M`y$0 ԃݘ"MUKk4]񞵑DžDLDZZLoٔY?]eX9`ˤ`' B3B~P}\^Ĭ@LOz4W0 ~ux;39  ŏ ɜ ~L:M*C^sXĔ&a? 7Sm4ʉp^4 R.r# VY_|bajd2S;Ȳ UK4rP #t_H_jѸ׹߽%'9kA!tm= $ʼ*=יPOъIsɘzRvF&尷oF?{ЩtSR5 QCNEr2kB'x%{s޲G8==N6XԽppYWTAB^E"|fW, 99D6^ ){'jH.Saݨ)֧OM[R8.z6lK(ce|dk(y&Y>6?>}~S-d!VI6 f6f'79썍;sqiJr=FR'kX Wk5)MEk]. zf29|l_8ZmwҿLZaRҵ ׷bp{3okx>0;zRu5& e<"v;|( ` %hdLkHm^{ \EӼ1C4+(A5<}7v|+߷\+0Z:dۀ1Sdv$%>Y篩*vSƻ^t%sءindHTaQ=SX{eacN yH@.Gôt}Wku7Άş?ߍO*s>T0)q.5i{ZxEѵ%5uҿ&IMWӦg4)Hm7ւ!"ڮPv\ȎQ7@X3^5YrZeuG◊b?>'=0& m;-[h+diC$W{|{#sK=;׭Cq0G4BgU ռd(FP.9A-]w78Fxʈ"`Lx2G[*R k}@eп/6잯o9]*x=@6Nb("m shvckSv \;&,Qdzkpn4Bd.Agyl~͕bs;IS~sJk]4&\xCa bA]YLiqw"z$Bٴ)&-]j+-'%o.x&-S+`Ӣ V>`*>Ⲋ 2h,haa~*zP,)}^.Ёb m5N4h|l_|fgc.*u:Y(o̦R(4^