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 '3 4t m% Residuated_Lattices:threads=2elapsed=29.462cpu=51.720gc=1.564factor=1.767zXZִF! .]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6Hr37%#WZ$$L.V4z`6&jNuPHחt;*a< \%"F@ &Ph hJU[;]輱^@?vl) lg;cZ u%!*2> !]1줂z9$r3kHrt.7Ri:Gs#rokB&鳹p*'zNq^ ^% %X?,<@0/$CM*yfp=>[B'WD]8 % \C䦸]Җ]SʪW Cbu5:j2#BWW1jpwH".B)EWsћ_VfiEp"ۊqLU`8*!R`F6oZd3= ?SYimDx<@E-' ֪]s$i٣-O6yaP j>k, RcIxkR!c>:GPOh!]b w3 _ȏȪtw 3RqE;ɷ5)nS},!aaKU;{jwJvu0W h`y^x8I?=XN >Z"v:v&0خ ULCcmg,WfE?6R?hBa) Aea Pf ̪|dFo҅j2"؆NbN;3cM[GkQ[ |w/GWϟ෾ NYHayG7f%,đ Y7yȾ50W]dŔұgYZ7zXZִF! 31]ŗXi%6K-IGq)0E@%xuHy]\U+Xq_;v@*,"}Fb>mx䋊˶&lqC(.2%X9Mg:`qWuøy Qh#L\LytVZ5΂1!qওa\>l0Ȁ!Pd> ݛL@k uR I+&7GV*4ȅm7T?4NIñUĵ6 ֤n@q!TXR-+`IVvfêzy_ռZWp:@{O_3ʳSh@%W"&eeiL2U8_fg>\^ T6v0!D, H:lM2 Lp㗇(IʼGIr8L8qfh,wCD]&iiZh#Zd Vr4Iz:El$I^i H fexÆ#sw.D6w3 X&~cgjʡ}]-uŏ}2H6j̖P@+/X6l\ sIv.)!Vh)"QQf]Hl?iiKHãc8P .*ͿBxq)3FRQ"TGJ > ^E~L8_D"bCHOFme а{hdʟѥdHD߱ 8*>ʹnp0WBFF*a&ďhv y7T"ȌxKg$f3xMQHgN)B=m>rfW=iEJ6RmʬVJktC\~A^gYZ128eda411974cbdb76b2ede446a7c5a48d91642c 137e65218f02d551a773ccdc0d81793fb8d53049 202f91c1d3ca7aee1649520e86276508251079bb 2a6ab331f01713caa21b5d324f1b6795c1733194 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd d7a2713d406c997bb8253be0813d6d54387bced9 e0b89a6f5747c9627131956f367e8841872db240 ee6dffdc2c820925b26acb1eb32135bd7f76bfe8238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e8d126d2d5de6a681bfbf076b304dc246fd257a8 852045aed6d0c651ae7195a272d40906f40473f7 123525a369db3cc68e9fbd6887745164e63b1ad5 3 Residuated_Lattices