SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ff- D ] Lambda_Free_RPOs:threads=2elapsed=17.633cpu=32.860gc=1.380factor=1.867zXZִF! Z]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ|+?ن|aki 1nݘ@#a`yGz)zE"h kߧ ^f;p*F]ȴ@1~YS5^fʥPЏ/{oL(зTpnJ"VN/c8;[Ov@e]NhCҮ>('NG~ jU)AɩMi9./Fv#^ |47Wh-"[!ņ:{}hN*.P{sVz؋酱!%!j\?[`2tZp͑7=v~N5GXA3*ҭWnܪVCQ|y@\ LS屮nη -2!7r?S1+R*20kf/i 5[MG0E,݀V.Rw*KNacdxR NZq) 0;_R59!'7谱gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"7gxEWb9G$ԁHnGG3zԱGW~3B7!vw䗟u(ɸmF,i+[W+]GpӾnN|x!}h-)8b+Z =0S42(Xn|.b^ ]걧-^s%4IGTNNdG͙(;wS1`J!D V/u02kaT3cbcwk)pt*uMM^c̬Z@J71> b2Ȋ\qP,TK&}ur9n37\VtୠQC'QJumy^mCfyf'X̯*Κi&\.ƒ}3m!op)$5N44#L[+F?)3vّYA"]z=3)#63xm\IcA18?5 F{hJ ~`+7K%Azo6EY9fQyhI/Aa~t (D]g1آEAsV"r\5uNVkPD!GU,jܣ'L*ˢ䲬S&̓ǂ UN•Ӹd^`&Z蹉D`:#V#Z2죿mUS2SC`Uj caA[f4fbhEpڿ)($]cXZLw:RZޯiu)f@ Yh7Z%蟲Q8R H,]fIqے OLjEQ`A'n<,\6 q"L$͸יێRpo8J*Tt9Jʭ?V 8*,ƉՎ|/ K,gYZ5ebc1284e4e8b7d479189582d5f3118330bf11e98ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c - Lambda_Free_RPOs