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 , < cS]Matrix:threads=2elapsed=30.179cpu=48.356gc=2.132factor=1.607zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZKfu*V2Z⟢6#Տ1?*%!ُsmᅙl?.#Foހypw܈+9o`[* ^6|>ZʭoRw1?e>pzoӱ, l1%vyAs6ؒwk{E 3ϗoş[~{]bߪVj>1GNz@HM^Ӝ9_T100Z"Mp# GpJ 1(V12h",o RLm čj۫BA`5UJƗV@G˦ㄬ >ji`C U%)5XDO$xJOQ*r筤33y1kԭ+T5[Fjt}"hwphKZXo:g쑧˱U>]cͧKe[ƿ݉m&Mq$:D)bݾW hfBwG9 z6+yY[@SuȽQa>MstS,!z[-spS9:s-D5xU>ZG dO"5 `! 0i夭o.',j%Qq*a9oy DѕБQ6U4oцC42~>C~؝p5s3@: pΈuHFkdDCܼBNjm\̓O2#TX|͈+,p%Mf!ą IQq֐%ۍU-i'w)Aц$Õ\  M‚%lr6/(#DDŷC@;@gW^mXTZnM 27RJkTk- @ O@nWػ.E㊩fE =ǃ{R[6թ#˟ijit pO\;|:rA iCrsP.mP*hƠJ{XW KjN<yga8idIuԌK}V~D=)q [ q 1`4$+}@kRĦ.=ɑ焐þL sX#Wvfw+ؑMaž'7D!NmB1KgG.ZNxRwqpaAeeLLy?2Ee.ԗ/7U՗ u@IT5WU݋ާhSZSY2%W]i1Y NBB:.WA>m?IpRKɌt%ވ*# $?[ }@ݯ:u}*vd;e=j^_@AR2 uŸ)ѨAo9[/\.6ؓl oVyln3jSU`MP%d\EK_(jJGdr:Tmǩ_I%pfSQ Yy@ͣC8K`BoCRs1p,YQmN&gf\XpAƺZv*-?CA'u0= *Y-j/d%B&_ zpwR\ AvKNXLhxQ_؀Ul#Tw:ylXB&Ԍ̆qPuQ ƒPw^u{q",&#>o` ^ґ~$ N:ԝ^ev:C-{!cx-8\Xq~ B%9%&++t]e/ݤ0YAa&VakL1}97]WU|ow⣻ooT _PK$LUAvM!#,ѭ!]Wu~@ODϨM6XgYZ0b25738d6a040c6128930dee1ef97d85b229ef80 3245cfeac2613b419ff643cf72db5edf625cf117 4b77fc1bc0f14bb00f4a957abc3ecd65b4140225 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 6f592ef2fc1f1158acf74e077595e80f132f1405 b5f3436c2617179f40e6380dadabefdcd94805da c84783fb29526ce883108f7d0451c93533bbfc84 d24fbcecf3a6eead299e7b943efa75e6295f91ea dfc56948f7c3727a79607c61fc19f86b52eb6fc5 e6341eb28e17618f006dcfc40ff961eaea12809a f3a9519bc2b68e572a01b26abb41b45c36755aa2238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 75374a09cbef1204a7e538fc9a783ad1f5d9fc25fa61cbc3b3d49059424b74807468ecdbfbeba6c1   Matrix