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  +$D Yw]Girth_Chromatic:threads=2elapsed=59.957cpu=101.124gc=4.920factor=1.697zXZִF! # ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*i,A5γ@qXkMcPF-%qb9RӽĸIw\A߳1^OnBcYݪ~5ʆ+R$`Tnj Pd#&js|}>>f:K̝Cw(AC38"ܭmoZ;Y_Zz=Ӈ?յ 9End".{lJ0'x1X!}䴎O Sيq9d~V,].[BNH*ѓ^R D:c .,sa`[FkD(T|'{Ǣ% 8PEEoXhļ\wyNzz W8n]04?Za.],] e$o~Zӗ/2`%?D=1+OC j'4j^.3T҆o+]*dw??Og#ݩN %$H59 @?' N/3ڛ _Sf]^mv# uJLz"OnbXgs,P9 }kSVl̅(DQ*m1n0J<@ɟ]=8emdkev8%SV_~&be<_97rL#ld>Ę\州#J+B9[w*+vn!q$ h`T:潌@:vO`pm%q_FbgYZ7zXZִF!  ]ŗXi%NK81fiM.Su2 9Giv!pB~ މ{{C!8#CO(WȞ`,0=HTӀ˞r&[ b* + Girth_Chromatic)PMB!]r8)ynj4x2=ieA,$P!Q{Ikl gjz|/j@frJeOxT*i#q'z V)O~ɢִD(]<[EZJ^ciX]zӨB'XݐI][|xӋݮ i((^ZHV6LS]`+h/vvi8_hWl{`j[lLʅLRE>c#GiϯvN-9tvx4n<&*9zD˹OCF$S楮т~W쥝M;a/j)̣z«0b؈z.=Y|m.M`ql ?5cE 71ꜥ4Qd7)㺇Jw5PƓ"kz]G4a#%i))ڻ> ،]9’'Z;e"8J=[)*eosSx**1\DLIE/=㏟uae *;ȯ^p{} K WoKfFKŴz %3h C w@Ȓ Bɑ )f!:(Y`>iӲ@\\ŖJ6!a,?npV:}8ݮ \iu.}" 9if`.Q2a?j/ע23ܹq8ѡԖ]Yg2q4LBtN|٬j5WlCn9$0Idדv*o\@U~t= ? Ih_,@H?w QZ+;%&!.3sck)]o WLF* j(5-D@}k/w9 U:nu>(HtVs:ъhcލ\ fcX9>Lv0%J&dzA0 {}80pa*in'l8uZ[*oC6 w,kaJҦ؝m.VōuZYMcB97/:pv^Vt$el`*m7Ųf+ge=Fg.+DZ])]{-Gh^蒳҉3 D[)IaC* .saS11 A jϷ- SҲݱ_wJF3xo[3!B__*R HU'z1 q8yl;,_U yfc:F!1ݬnc蓴|S6an@h1{nU}f^Sz(ǡГaϊk(Τ<6D 7\{MB<}g.T 圿Io4,^E?Ū;DT)o 3/%@ Eμr,zM)54ᤴR2TV{XxTiCEx prrh?gruyS '{dTjjHM*I߈+,]R!:gi)qrK`5j 6i t> ?eEtSsY=\ g%o}Bh_Y crYZM sr]Rp QJ׬U} qn7B٥W]]WF%Pdx䶪X)2gGGk?n^hdӗ}<&3CuSGMI66SfMtt0c#/0Y+2BC78_Ywp6 9".˦HB䷸l JF<`Ad.J$Z=?7tn):Wbqu{[;1,f &6鐯n73G Xy +L-9OL!#I!Q{ >%KLJ'eQ~N!^g7jBnyJ*!9SW~BIn 8|:Uu1CY H yʌPRYO6=M+"|R͠.(};odSf*\>/݁DRWzMixm/f֠{/)'ةz=<%K_M8χr"qשmyB>WbńQfՃMсK}x#Es{J\ԶPXc@ӸpD.F C@Mu[ẃ+\ "OPm#Hwr^g7ltFFkgn3A OZ|\YB'[q++IO$c KN@P{p 838Q`aIϷԏԚ3V UQ emݎMle 9+!u 4P WWZJj4MOx T~{*~z$F(!7ZXpÄ EI̞2~|+*?,QoȶeP]ڬ4ۗ-ޢA)/,>He!Qv_4|]sv?Ғ?Ќ/NxaғVZjdG3[E\&D Glϗ CR" ë$7nJWH軌C0JN(r2~6>B?XJ]Ķ!0 1Vrj% ;hs 3B#.隭Ld<5.;fӁk5T=mK<lzd`\ T> rZ%B]G@Rx-1NGq(̵pgYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 4347963d4eff6a52756a5d74d7164dc57a1b8383 5f73a2fbb357abb9784bc53c40b1c692f323e486 706eb1960d5b51bf830a960aee522e10aabc387c 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a46db6986ebb05a5036a578f07221fe6d4a3f5d7 cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 d25f3d256bae918966574511fca2002460d90524 f103f3d343bca13e480a588223b94054be433b5d f3eaa2cc95465d4157ff6b99c6c7d704790a51a5735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece0300ba45907b37cda3ecf5c6a57d06dd2a4c8f5e