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 00E)D SS Rep_Fin_Groups:threads=2elapsed=93.097cpu=149.344gc=4.312factor=1.607zXZִF! S]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛?Fiԯ F& z1~N6{[Tv北$ &gMSUŚ(C>-Xm)$1<^w eFfz/zJK|ja%]߼; PLi8v g]xQlY6,k"PS_Qᄋ&.j , fh(-!vN~[@XTDLd$.,/\Bo%"Lk;;9!Nt JRTyǁZ%$M_-+fUX k!T{,N{<0f9ax~}qPItϛ wn`"e -9Z9-{pa?,8mmS$SAPZV6]nGmx‡TpMߪ-o˾Fܻ9G~܋KKwc=[Z]@pkkq8tH0rY $57S~vR/ȥIht=|$spZV.ND2d,&ƹAP]ͽdS_)G.\ժ4#9qO Ss`:4p=0sMxy3=s>d6Ї}_zYV Ss$k^O5b}a4@b;e; n8yncƛQR\Ӗ×?L1q,mj?z SЯSWs{p^<9£ SU 33nyӬD|$`BcQ@KU`gh\gQ,4ӛDlݧ}:S-krᷤ }A>=CúoRin#j҃O:Xw VKCX9AX  .2)WTC!GZ\v? {RL~e$>'6=LlEq_- 'u) ?4'Ț8*r d")`ſ\VjⓈy5 vE!SAGUhΡlي#j=W>n#ƃMJF/!fL H:H E>?r!ZkKH43U9oҭX;]i rIW='j: JV**oGSda2]^&+5yÓ;s2CV[gzt+ =O9jNBg߸P4.u.m0S"uH6DrS*?lTr& a`OM>oO`@^Kk9 C0u`h޲B=Xv}ywYq>сwfxoxo p\bsx" ) Rep_Fin_Groups/#fw WUUwjӎX8s.v YAHp";P=Yc+0JM?`(ΰi_D3YO0&I;)H`'[_s$QܿSZ)y\t B~J_Е M 2u6V$nҫف<uJ8UH!-7uMm'YNO=eO~bCc(=U:WҎ@^D:)H.[ #u( '/(2lѵ"Y#ZPfy :q%N"&w,X?Mϡ/pQQ$ФeP4}4aI.|JK=Nʫ]D~.`t_$X1#N:q"Ն'gAnzg-#UU 2qf݁>U9DaK d2WZ_W{TϿ^Ļ;dp4SE{֐sExj@tZhR@  Lu"*fD} GjR9qkN,ߚOj`|i-o7$rϜ{19${f`ms? ~/=}M &cPEbۖ.aZH5`r@z+lo ;mƓ֔SځU6=FL4C9!Uأi1UႽqMkL@BIֆ1XK"d®^h Iټ,q\1!f9#? #2KV:]6?{y{9kP*uOJߚ v>áex X瑹pI{9OsrůL1Sl{u2? *wtSL[ Љ>ԳRWpGStBAoaG MJiYM'm$԰a|RxBMp]/E& ! hMXx 64jDvi`c13G]ч[*%L&C*nBCg 3rt/o F>L۹|=ي(Eoܣ-j&" Dn^MBd_p/arH xe۠w~aH!)@4wI tFkAEMbVG4h,hEEP}[6Eۣ!{3v`4PYCjX8ȇN* <]YÆj*f=ÅB v&{i)V,!wKs[ɳb3|T˝Mw^ưgt )N|WpI-\شZp b#=aqHlVge>+| df(Ġ:~`/vS:d13x{C@9kz k}^k2AJsXbtК~.Z :KٔGbf[ky P|F$|$~" zR]V5ff1˃2cAf.xWhܐf_$R٦z09 A:+t*`1W#'2KEBPa`ië@,|h^L"/JJ0m~ ΛKnCA?f{XPrȕ9ҟ0 7ޤ}=63;2@=w[kɲ):ho(sDpsS?hX*\iDe6r$ M}I̜{ FH\WW@pp. 6"0tRWӜMt/Ҽ0 bro_\aըQR` DVek2+x]/6ĺ<ۣ IoE lR)oG~t֯to6*TD֡@HSw$ϥwXښ{.,Й/󔵅M]*v6d{*zSP9&K!EQ\yyzpy,/26ؤd6kv%F~Igh,fmCWrlnOt@f146 p'F\I`|;8n+.%CHn\7z|a;_.*-ѫL8`fÚ_rF!&@s82.]xn5~j ӵ==ݴtr殺k1b`*ɴc "ݴI*3y(C'28 J4|U7q'LO?`Qh#gWJ,Hpn_̢ѱ(L; {u$?F_Z4h)by K*&F=aZG/oCW\[nv7uI)6/qcɲ(L Pb܇uXcesDj~BF.wFӻ{`at8<[Q>ki #-1C7ӏZݸ[&T~ҪȄ{@xِt"ʈ[2=xCU<3_X~E*Gi&j'~nah)عp1"ʢ-\jM0@y͞ГAwQ-j)B`5 "k?[gwPVϘ.*v^Q&+gYZ30e89132d20913969748d7338b26f8a992abf46e 6ee2ff0f6bf1a0cf002dd6146858958c27102cce 71f19ec4797f8c84a4b74f5859dd8dd527077cf9 c0a09cff0dbdeee54847ab70be74b5ea4da9b9860ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748