SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 99<) ]S Rep_Fin_Groups:threads=2elapsed=103.651cpu=169.416gc=4.636factor=1.637zXZִF! i4A]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN}[Ь#G"&JSgoǣo.$"<@^9kz.ό. 74Ej\(QcOx#6\oG6JP]Z։V1w 1ǂK,prl_L\TE9n hZfҏ]oFZzrEi'sx=jM_/U`x2ugeT f~S įb@"Jg@{$"=.*:/O6;m'zz;3^эJR(޼4Z1&!hLa><k ˗ET= #1" G0A%lu~Bb&3HlBEM`6ȳvŐ+Lvc VrpŴ-|daOxMm1y.v6bDP &cԈЂ-{KOKqEXwfyl.Dq J4ׇ 1N+^ѧ [fֈV_FDu$ FDsn{zkAwh6@QJyffrݴw nXWMDY]I banxiGI̎q)"2u+I ^M}!{+O7hWaaWW#H FZ@SG҄v@"t]a!2\ʪgeX-^GˁE~aQq'q1BHƝHB ;H֞e#'~= DLV}tLRQv71 #m=jGn,KftgR$E]*?dq 0ۄ%eso6.DDЏSZJ5 =`$(/L+\{Ih$7xmX[LSZ<2]V\pf4#A@2X4%n' 2tO^nq.3+.Vdi|>(.֔E\Fvp9( X 'Pe2kgf.q,TZsN5  =df*9i1&>$Ѻb7R_6nkhA*dBäT;-{wzmѓXx7-ZXV1`-A+l&1F /%2nw?YY3/c|MDZp;Vׁ# oGpCнVnJ59F&&osuջyζCݵLgԓhIS/$:hM]f |'p@owUe;5;~$oG9gVShTXߙŕTg&X K^Kzu@1.F_ű0Ƶy1zڤ{ ]Xո@ _al͉ Rzave.:CU$α-B&Ww}dM1U,P M-[kC5TЫ#<uZ;ǹfȿGwvZ~nxx*#^Ji*,f_nr/"gYZ7zXZִF! SH]ŗXiɟi2=_&6uȝK hN(/u7:X"3>⒋_gYSf jWSQdTeM}YZ7zXZִF! H]ŗXi%rb+J xm'X eͩ,7aX8]xDת$ my̷tm:dw ^[i*Tk_Dp߅I^v"К8GqW2BMc[?,&EL (W!畉 2je־[B kӠ_mQ>MSy!QlO]Lt]mF^Y9=M_8 _<} ap1S_Pe53޽X5b[m۞zBZ^D, G#uk\5#*d&ILv.vmdLQT.h,W6n?9ho\?T-tt̎p6|59η}l$ 'Ҧ[>Ux&b VaI0Ӆex8ko1$6~s_ Pﳺ"Jde9W'٤v.O׷Di‚+8誀_&]?~)Sdl ) Rep_Fin_Groups?Ber5OrEBGF;cC/zc!5D98iנaKUimt@U, U*&!-Ha f@lF~|yur\pk# Cdຊ䱞ᝄiy~A~v{^Y.66*0ݔovM5Dp(z(ibA^B!R)R7c;KcQ YGjyg! `J>M4ͬIͷ寷X̳jĝ=Hm9&CPmzo=a]ӵKy2:V,3_ 1&>QEm4vd"%R(aaBKSzR3a=[qiM\CjU"wa𐵆 /1-oF^O+Jo1J66gz~AM%/~xdMDkĐҘG$9c<#Ʉn`ҥ U*,H%=] 2d~a ؀n/%{PK]e[ԛsj bxJB)| *]QUƩfXy7hjǩ̦*[kSP R,Aw]ޭ% >)ӽCM ^Md0k+hjd3fժ9+RhUUDo)nef~zBuqU UchܞG`ʢL=׶IꋕdZXB f2ij|M-\dUWeI;8)t$6cDmFrɰ}e G}SaT7V7A|yqAI2%No qawK?k;e`Xi{1NpJYb}d˺j4%D9crPc3X.   FMS^iE㻭(Lޮ qG̥r$ R <w}rf>w z"Vai -bZ2HR@7ٶJo/CwPV@ ~reAjh[ 58mG>Էx+G5Ur( ''uDR~#ƨd5Hk>5V5<#C ~k,GՃ /<awJq"ޯ tҸ/Fd}e t%q[V q#+?]%i!܎*{'KvtHF: sg`Hp,>ؿ A$:bp3h]LMTKs)ۿثnVQ0͖y7k`PhľCT`VW]y`GE\0#9|LUҷC b^Dnb~ULd~ XAGB{2(2TUV3]7thcx?Y8զ,7㣂0kXn;x+>+/K-f$էS쬝o?5oَNP) ? O xJˮ~G@^@%$.09q]$0Q8Er/cG0;Nxz(w|Xd>A:ߘ=pniFL",(Ngji e Rٛ#d^=3D%UXu~c$XȔ͢ x'9gq ͌؆;c5&}/8L82l7FAiGxLȒL!ȏx Xؒ77ADS%o0 =ʊF] gبL01'WTLA]̥-ݵF>EKXX8$YAՁ"V%R'<[ Y;vgUQm%̈Pr`ʤ"`Yf xLEu ڨl1 ⃚ s#n67MYiA$Ĕ8CM.# j)Lsk0idR#6J;fID.)8f D-=!7ٜq([&BB$NS*Ue& (A|I2̵O#v7c!U:ͮ '|(4W5S9ϯ2zz|AbHdjNJʣVVp]س~?wH]V ;:p]`?7FY3ueU6 8ϨVf~agA_:)!]΢E1pvU c25%o(trO #Sв4r>;ZCePZ?^*%Av5صF6 Ϳ=[S 5a[h2&Ns@-5b%@.Е;ްJ5Y5o)B4 vK?DмCxɈo-y̤8:, ]]5ڕ.8 f< $asF2J惋bea4ZB6=$ʐ38E` 6+qX)'nc|ϫ:D[|uJeWeka0M'EaGqc" DPj i@v?df9пAf^?!Jt71sܘ6|Vؙq=|;/Q_F2q̫WNL~< X>$G;0aB}gsͫ5mj%PϳTN1! 2EMDvȠ*&cgYZ708012958aa10f68aa129fca832d7ac5ebcfb68fd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 eb48c6e2a0cf9d249b88b408d5272abb43e63102