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 w LightweightJava:threads=2elapsed=51.802cpu=78.888gc=2.944factor=1.527zXZִF! G]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o7ъϯ2M)(E 0M_.ysE确RhYFWȸx)O7h] h;h4 Be6.'vstXߴ'-呂~ls* 3}\ 6A,{0^O#,4o\ }@_ZEE{ky2dڦ TmVU>hYr[Q ]AQ$Eۛj߯IFIFI弸=rV)!or|4f5VXo4C8KJWK>hמ&V5wLf?zly fessK:FBC20w'Ą{ݿ­eҝ[ ǽJm&"ZxJbw KׇRkuЎC\wl:ܻqZBO)I>Vm2hP]ę}(H_ utylGꪁWED/,l$,Nv{^.r| #?D>kfAL,m;=#&SvG3 A%*}Qmԕ#̷IX;ř:1(Ԧw84o eZ#:o7'[ J "Z-I8._M);tMkhd&hiH->!{6y NM~Iه'u\2d5>(~xյ\y-G3o^iaEz# -  A\gYZ7zXZִF! = ]ŗXi%6Sl* d^`6xBr:p j5wEdu0CYT׆1i]ڽ 3F'+Tim$V9 ,ַ"jS[kwG>d ql5H}ܭAVĪJȮ GǼ!%j֔{Bf3 tJqK q<jU8|.=[+S~T^TO [tWnO'f1فyjz¯9~oЍ{*i|`2AG]_k1.#DX^A5,A3Mqz<3X=q],xw߽y ڳli]p<ƣns%nXc `4҂–h*F~w%)5VlR7>^WU2XGE繬@cL[p,e'FY[uaV+"" 垝 t`Dw-a*,'L˩Ŗ-h+:q!B"nМ`~U[W\7k 9Mi.k1L ˜+ۏ< I 3ힳ;ے'E~XRu`bQL-JqyO/fplU9ϣCq?Ow#>m@sϧ ] -*B(RN4{E RK^*5V @SeF0%ІS+I_X 8zƷ2=P0⛶\q ]BY) dB)~s*ia_u4x||0ȶHGf`r]UTNUg//Ϻ(3o=HMcnahZҾ ݾNHRzqGR~P,W*j^g::4µZ e c2/8}p,􆣊s"*VWblv Ehzd|%hްLu 3Tkr2k6-J0ϔ9Fqg ޟ m4=a/z zQ/fYn~ }9?ūt\DZ!2ح/6|րHh׍ !}idNIK "z0a'O/U5]9!R 6 6jXf]Yu|A u\j90űb-!6Bu_~ixR/!6FvWbgWU!l9BH^TN{LvW!Z-gQ T3NpQNqS'ްuc/:辅__׾b``X*>߆{JƯPцw8_{&3|E70+MDKT:Y[z `]KbC(6{ T gYZ047dcf3b5168cfac0a5cf40c72fb12153fb59669 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 d58c92dbe2e3370c357865e539a9e2d59efb0816 f4ae0fae7893f7947d754f24e1ee90bd24a07f3ef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1