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 @@5)<| SS Rep_Fin_Groups:threads=2elapsed=94.017cpu=158.188gc=4.744factor=1.687zXZִF! [#]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛vWS]@"#a1/LB,Qʁ-(ڼ٫[upǘFlrQ"&DT|uSj5ir"e|!@&p"4Z@Ha]zzrѳ堚Kl,*,# z~R8ߣUF[NJw[mOż9_GD`L̀kbONG/D/]^~2*gmcUìMA$Yb7xy*jI:HmɊZ)RLV nBV?2"G!ut< 7U[<sԯ(ٴ9p ㄑ0sq$%ȱ`O/.:iG0'g&uX" XD`&riS~s 9ρdX HL}Ⱦ>_lCl?BZW^:s:ެ]Ȯ홶ZV-P:WʳBl\bǔ-zLS*#7:Jv ~/TaËR%}-,ܣ[s%mán]3Qt㇬T(kDPc9o: [bb&bN@xe.$lf[kAl5mKJ3\S[2DܚIiۓAu]&*85dm)E3W(/jLMM{Y53HkK G=Us}Ui/K+L`QNTrs <|fP73G"BZ>_u[m~ܜTHR9zq+0|pD0``Iv1B @AJLfk'kܸ|P|IrK%v ?u;EUz{eMn0Ljљgְ`c8mBGT`6EOXp#5^΍{r7>S4"iU:YFb!#%]9=x-@Xɺ I`oG@gQU+Ip*s\:$dQ)[Tm\ȕ-F`Pbcmnһ4A|=b,03W.cl<΀Pd#ӽx!CYx*E46r/^D }"} o]!*{$}:5T_g@dEIgAPC5|9Y@#YJL98x(.YRzç!|U\)ŏo&D@ 1l7ŔW]@b)ۅ„fq+ Hǜ_:LOϛrVjv0Ѐicm]nPxKX]&*Gs`IdDT}!;Vs|">Ud4qF$ux]tFWhwdj&]NEJE{DI&DoRX1>q\e;x^k.SƼq_/ AuםcE>AtcH/BԔ35wQ]jO2$&B.t>gy3zJ('Ic=QAWN?)꣢e6rXdik,`E4M-$uleςЮNp~4ےJHʝ9i!XU )-ӆZX{i 9  2iRI:Ƙ"NF.!vc2?^.Z`qٿ%Ty|> VHI?JgNmQb%X9$Ha~Ø׭I~-w@"[U2XxTkaׂ[Υӡ 㫖y#1uOaPdGT.14* 7,ʱH龇tA&f0yfҞ؞;IZ&ln~e<"LtÇ8 [co;1{i1@v+qDJdFĂ;S;bل c=']mCrhgD{ʦ41~l@\#8a{c#^S3a!1[C mB6鮝 A\?k;M:#F'$ !fz ]mr$W/[شVAn ;"#<  cZviMiuf2w"_Y֛҅Yg.c;WlmFobB4+!)W}vX85t M@vD͇"([+NY e< ) Rep_Fin_GroupsTl0u  v•sN@_RLF|g`K˸@̣cDĭ_.1O&f-3odG/)*qoQ&hR XdG|i ̦Q{U(~#+js\D\;ՔX51E[ fL?R p0` G0}#Ox4+yam\8Ex(8TU2Gwnic) )zL' VsZtX%^w|+,sEGiD( (8lxUV-5kgҮNwf,%Emɋ\GBsW;hR* V\̏*]H)bekZ@wBp"EZ5&Weq?`[J&˃Rb,u %gsi .NX -vt# ,Yו\!g8_0 s}2GwEo =65Է MȑdaP>utU);S(TWm˜zSt6Nvrnؽ.D\&!d^Rm$x8eS*U|BEyȠ\~yتg2O$4t"^Bh,/'s%X<4[úҘ0AJL +2!&$?(IiW+^sxYi["rQB>dOD[Ո׍|c 4a-0#b*sO4a[E\ӕda袭e 1+w'JMD__Ys0$5c h92OB~Tfe`H3T 3SՁ[*eQBEoIƄG;D-*7>)Nѓg8?BazOOgG_ 7DMElӺ\zɭ*}yhkɤʠY|px6d \tAAP ToR59T}]_: CnNr+AT3N=${؆LUT idhzAZf ,ߘl>ejЃudZЌm>C\f5l X=K[U#;œ=npQ(]{D+oaX<I|K)/N-;DɳSBI?*rkhl2;F[N J{|nx0C_qgvID#o=d&ԃkk2cN=k<8G"WgTJo{7}sn$S qīzAȡ~XT}̚g2" Vq \J%gU&勜F.`(ꞿ}#҃lwՖ JP`>^R64N/#RIz(!znBlKh>|C`p쇓 %03:u6.c#ehV`JX}xy%/cbP=O6h,Ф;{~A66 8ݲpb#_ tC}XwԾ!E!>TW(4YhqP ݺtd.NpɱTQ'NǹgYZ30e89132d20913969748d7338b26f8a992abf46e 36e75abd6f5b83f22b296cd7d561cd5c132f96f0 6ee2ff0f6bf1a0cf002dd6146858958c27102cce 72415f8374ee893fe4de29f801b2f8a56d500d55f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409