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  x ,l S PCF:threads=2elapsed=61.550cpu=91.700gc=2.528factor=1.497zXZִF! !D]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! \8ZM:`wUGkH˹xqǸ<5ѥR̮eb%%E W%ev;͸|&W,QQKNօDFş[~9V*O[ }\Omy^ScV8Ȝ(#JPG}|iwr=yr jQxT<{]S; Bۍj|*Nh󊈜yܕg #=EL>H:^2O~{vS+=dfx'nޯՆl޻(:fʨzrB u(BZ85Y5zֽ'U`4t&:Onګ釛޿?gYZ <#{޶n=<ZnU%WdizL㕻􍌰TSylB$(AX? Y":y]{2J`k^g%skKK?R,!=5U  PCF6H Z3W쳼p{jRU{ g-4 zəo[1cb%$=BrgYZ7zXZִF! )Y ]ŗXi%6ұ)6v%[9!Qg7Hvpo#zJdLq*9 x !Bқ`Z ݇@ 6'p]%QBO)(Zxg!9r'?Gip:4"8.A>V;2%OZd$ԲK.wN<{s:jxX Y݂j<|{ia"zЯX֋atı0Ѓ ya(EZ:SYcpVpr -r>dLy0J;6:%<vXp7 nT8B6bmLI ITXP%}%:WJpԍB'@ahzmN; \Q2(;t"ߛ'jVÝZ ,#R~A32jَZ0uYje&:_7t᥁\_ \żqL/Nj յRS>mb}F5c6u0B%gibBud?~Ux6x.U0<Ɯ2͞lTݭWiWxwhE1w/TCCc埜4#F7E+FԘuw^|>Zn}#(6H*R. e  44 :,K\ꂺwEKqFZ-w'XqÐ*Nct0|+U6 ,~B  RJ|?erZ2">Hw& ːr^M\WtGyO4zm)Id-|!k]RiWreN5DyoBȹLR-0ߓ+n+%h$6^JVᯀ?9꿨Yvúx{mj27rRl,2хLHX+ni _08Iv!:"؏{8j/jz &f% kw/2{ G,i1~BO@T+ڦb{#3 c|%ٴagn&o>Ò (Bd@lQO;3=TtV!/'1؋u]`8-csEZu+l'Ҕu-w`֐mjT@4+TS{{)M^qYg Ny).З2fHp6ozim 38LK( Ҙ7 I{WNKIc2sgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 4c4a8c309bb05096e064d9eab7f4735032c2994f 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 dc338c7e281dfec00a38ac4b708182083bbff572 df74f801adeb78749d8f6ecf1245e4ee32c568b3b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 1fffcb38bc1b5564f2cb78c4958bb9f0af5180f2 977ed3820d61229e2aa5075711b0ab65d2edd76c