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  L L)'|t w]CAVA_Automata:threads=2elapsed=74.873cpu=105.740gc=5.468factor=1.417zXZִF! )7]ŗXf1-/6vRZxY{"QhEA}ξY™OsbI0S괼Al2C^c.MZ$б濲;NtBw#Y(r&iP)( ?D"HWagf59*?X729tH\ 渨A0Y3ͶoIayBm |A_<5TbXnZe]G.4Qt8$c H3O2cxT%%,%q3.er.dR[AsMhtʠpk݊ᜣ{&{lJ ":~.s!Nا[X]i?XD-*#miuvEV݊փS gYZ7zXZִF! a ]ŗXi%6urT0u8gqX;#1Zh DZQ6K ďHeq#PW+HtD/*ų?=sf0]Ĉ.`GP$QI/nhpޱDUohNfrFhfP۲ Z-n6Ȉl6NgRs!Hy %`N|=-zVYtbMFɢw6eb. *YfVͽFA8Yn =;k5yx %>l'A1i,=1l'(ZE;`素m-@q9i䈎!`8"\}lĆk}|<>&HvyA7'£ mO7Ⱥ &q}ٙ+aq6i+cRz%k%)~Pk(Hj:L8a]ɺ4DJRNj:Xg!(/zj;Sc(|)P O$lE >`T1W_/4R-h]yhU|쪜jRzclj$7qޓO.݀I⢋6${EgEND}ie`C2\ܣ3S#6n-E+Ƈ B;+>Ʒ 7uȹf<ӻ(V7W"*a9)S)Ɯ2r`.\^Ow3Gē ُVc#+dD(ь[91\>1_`*Pmjhj:BKU`պ{)6YVtn)< '~)xPkjPblK ΁5D (AsnWXfTPP,5/ _h#&.53GzJEwUաV eks5YDGj\=q'y9tQw E4&ˋlwx s *eZ 'd$.DQk@7qT)#Pٙ[f$n]FJ'#ǍE~ac$mxN! sA]s0vY > ܇R9-$9|$3ÃLfp/Um%2FCQ\EgZjy=hnZ>|p؉{\Bl)eRͲ. & α R0kG.k\D"eT,`GAбߔ91EeWɊ9V&t5A`5,f?0J#;oFuDÂp6PLs̹F7N#L/2S'>4=L q$r|BIP./l4,ib,6^ te._Ӑ$yDjX.Nuc6ڭumli_i4b![,a;;t" >2RN:" ,<'h` TXJ±*oaH`$A^L h:-v~Gsk,7.V&eo),ih7sd!'/ғs҃ex5cC᫛.*kUUqPȷlB;u(e w]IJ{@!$w$Wr0`TyȦ~y'0^Ŕ 6eRPTCECKalOBۃJwhI OB-$+Eqs13x=a5kis|v[rwMb>T 8Pxr[hȹeM6'GkpbҮy'0L#I1d^GnR1$b⨢(BF}Z7'*G{% EG\e|=:8<2 ťEŖEE)Ͻr3Ǎ bC icA{OU>y e4>v"V@ƂE'u3}YATLg;*9LNܴ UlCzgYZ0d380be2205d1866e0960ad8acb0e6e3c19858fa 194dccd5200a5a95b13920b12264136e93fedc7b 20b69fe2f07c50457a54d4496fa7349b6b333bb6 396358f2c4942fe2981816a0045ca21e5476e4ec 56d6c157741a9516372e3a953d3ab5f53edb810f 5fbc3e8cf8541b47c319d5b4b527faf5e5f45b21 8aa8ba08dcbdcdd77b3726c08ad822bca16dbd3e b55607c731d9d555e3d14fdae4834a3fe7b787a3 e7b9720019c12f1bbcea91d2b97f8ba2fa76ce3c ea1445aa5f70696841b4239ccc675b78daaf7e81 f5f4cf2ec25025347a63fbb030c589b0ee9ab684e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 76bbddc77a386aeab17d605c97f5b2549e5a7e42 14dec19a4fbebc3556e2960da585152f9fa69c2e 7b429c544cd316ad7d6e9bc5224e03397e6a58bb bb2d79fa830920966cf0538eb209c1961db5a64b05c6b697d6020eca7616dfa7221c9bb2032dd441