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 i- \ c Lambda_Free_RPOs:threads=2elapsed=19.541cpu=35.420gc=1.504factor=1.817zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈕒VM 8j܀+qRU m{RqHJsﶶ *Y ~!ޅ(홯&HAYp9j2??zL87hD٥Q3b-o*VHs2{͚;Slc 1tz0ui谞 EY}ǝ{"7 L+ww,7Me˜֥-^ВtdE3[>9@.IQtˎ+/P*|ʟaCZ*9,ښN4+gS5 #Tr4^niv0~Ǿ_)d%r|ԯҲ?.)Zzǐ*gf0LyxjȳO"y<&T4(j+ҥ)(ԏiO"o3юé](SC:wxO~8k7 Ӈ]{FV9ϵ7 NTRr(ҙj%)P4~< x]OH؂?8xEWTO]LL#AdEFumAlv7f0GYΞޯFGzPP[ŸaJ@Y6"P0tO&6=?J.Y2¬&J4S<.DGѰ9ZW1[hgYZ7zXZִF! ga]ŗXi%6HV;Nٽ-cFF/H?"cgZсN|wgfu">z}b}7Vзm 0l/kan@ǣECI`4"u_a~hV| ti<1u%}B)22]PT'KpaÅq% ָ G&Yȕ:#B(|̸HM>uAuJ^EH.,4  xȡeׂWqwHPxjZkEcMTl'G40=iV[k&1͝C܊6AKrZb$"ȯ#br>%,g~9Jg :< }S];RXP'7sU(U VbJ$X>k{(wGO2Abv8= SKx톿)EoR?cһ~}-RH~3Hac /Ζm %Q*_Q/YtJn6rQ_QX˯VI+9/iO12<c [T$ 3+pGK9ܿiq)!jBJ&8 (To gdixn14ᮻ;j|&snZVu6+q̷@,Шi̧f7U !C*nmsX[Bz {K[? <xvM3 -rpS*z效ʦ:l/X)2H] ,ԣ6llԟPP~/d@QZ&AěpϥF{]h%IKB*>4+ ,uc/.CPHMbMqxk}0:B`P\PSh!BRmRڈZ5u("On &l