SQLite format 3@ - llB77#tableisabelle_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, "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| i/ CISC-Kernel:threads=2elapsed=21.755cpu=41.988gc=1.844factor=1.937zXZִF! ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I '3+i!jГ0B?NGExXfu,rq0BU5NӑF#^wW@=ɂ1ʪc}WXA  f x欦&i V2ܱs $H흡?0ngV+OxsQ|Uⲽ?0EĐ(w8sr՟讍Xx),H;~wq\!rI$Q+tvbwY_#uUdd#"Jb`w##1݇i$v lB׬u}NSrSA:D6U<]QFˑLHb7iXW駩3Niڰhv Ȉa'MwnlxYT^ Oj%[aM2UV$s'3:Womh덞E'by |@xӭ0 =ʵ0U17DzXݚԹ=ذ]*z3;2DqЉ0xz$giPMQ9S<x wr!J֒Uc&G$Nd%B*K<1} _6Da?0uȞqEgU^ yMw~&Aڻ &}5$d ;,Mљ g[~Vf%9Fyi]|Z.?Z\9OGFRnߖ.8aI9U+ð15`Sdq ^s9Xr35q|il8JwRbp>Yl$Gj/8oyS{FxVS} Gx7:@eD2Uebϖ J>1в8`et:ԮҒ*|ԙ5J8gJ',iRg&^Y|% Gn`ߐN(m)P4Qx7<<{2HrU Jk|ή֟FT$Ng0y*Ž3y RHtQG mg|X`"(*fڪo4s0Pbdd+unTWp$Q"cc0t$R4^G1؜]cߪN(Zh"YFh<>?}sΣ~`6pƠ۵)ȌF$>^/; V ,XD/FlfFVH,ͅ:2#>pufy_B'ЧR(kn]?8v:~)؛֘LCdA>Ah6); J)alIק-YY?z\@P+;x0vMsfi}E,?oFc5+dX2Ln&쾏pD%jȭ/2:g`EYj{SL)(DŽ@<]BWWC6غ賓5#7 )du=Jؖx,n:h(B7ętonm[p:_ \՛*dx &7c6 "Ɵ!cѬв,~W$r7TI u:d-fJ1<йݺSͫbmQ5U|iЎ Eu۰Rui Ře%!`j4F u!9?^'I;]օXao偬x c&23r> :|\J{^W=LNMaAA+,m3s"'\`,JGPYq5VD49{ 5Tţ='fOYݝN8Þj/]=8 LN6K?Ϣ#TO i*GF#XqYݟRhAu5 R)ZMJ˼PLw+&{#;lixVҲZY=+zQm$wd_qay?ONĝpB5|S9OҠa<]NIhQ E*wx o&#'ᰃ~'#m (Z&{=nvǰÙGgYZ7zXZִF! x]ŗXi%m]kx}!Anle ~q*lYvuYp@C xR5UNrcYNz}Eȴ'2ZrxDK5}r2 wŸAVYimpmҢ$dUE|\0 )e~ YEʉ0p#DW00H, ) ؏ie@rX3ÍY}ݰZhUpKKl1_3dIkف@.n(Wcb|mf9D N@No Q J;Ieo cLh=V^?:DIu`Gs=}ڹDgk{8/WyةV"ye.X Sxbf+4FkG?!;3U$vE0.f[;p)Y> 㠘6[UY ζRұG _ѷ KBxٻ.*3 .Y?~Lc%[C Օ?^Q\6CnK m(hVMR`#Xqؖ0Pubϔ{*m;5cXS@ $^/JѸN _ .%9."tpŖ(z8DA4A٩ x+3>< .k)\)ݑ{i# pҁ=/N1dR=G]1'~6HFL{,R.BUK[qjY31C^jFhqI8h$ئh7D\ӣf1H`&4]Z22fLQl NS9cvvRwr>`.XoIXbgw~v S"5iZ;.EtH 侸h.5q9K;>4_ԥ~Kxwsd[+l k\~0~٥gXejK,Um(S&۞#\nkdnT&"qc16l\houd>/N-_ո1P6 @piɰl_&U}8MLK@FtsByĂ x53[V&.:ȜD 7fpd=af 0{ 2fr:A9rU7iW+ixqStNat 2 QEVZ9EaJyvZ[*rw䭙KQnPj`̽enG`/5BFOЬQl]T{  F`j׻A֩yceF6rJ0oeZAcGofٕ`m7oN[fTpS:!{tt[O`tn0clc5?Db>Nk5;-Cp] iͱgYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e bc79e9d20ff18d51d8980ba2bf6d5af2baef2d2f e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d