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  $  Category2:threads=2elapsed=18.034cpu=34.136gc=2.148factor=1.897zXZִF! S ]ŗXf1-q恉 8p؜ᕽwi \RnTKM*,olmO8W'e(߮J҄ 5"diD}G ߕȸij]Jqu 3 0A }X/$pV~"+RajI2u܅tEc,ѽ"%Z&afEٛwqfuW!gfJ̙e$yhotuR(uO}N ~kT.@?mERzoT70qבXhC>O[{gYZ7zXZִF! b]ŗXi%}#DMK].܃E8\ 3Yj20t2p{aĆA Qnj$~/˓u ٨(YZ߉5]0/sb+>Z$#Qާ牔g5Jb8I&ΚAUvdd&]6bBK#`\fj"s,vLr؅WcѴPPۘvIDUIF4io.fCf$[g)P8؏1gl[IL[f8W9+TVBZHckrGhej s3ё) |]ݢ^Nöltg<cN{SOXJ37{B9& y=N\xGC礂.Ժ:)/p:amlѰF.r"G`ѭvev=E!w?\?#) #Y`#2f!$ŏMD?̯҂D}AKqR%7 !` CXjšzWuõF*# )CL͔ӦUfMn;9H?G{c\q9zM3|^{"H0VϦiLtb oU(`!0!Jvֳ=~ΨWpc^'lѫ7g38kF0ygSrKw߯RYc6 r1N.G3"^fк^Z&]*UΧ6ٔ- #]aGS(#qpkıB*`s-I!JLO6͝Av4Eϓ&. 9*Wꤳ| VMCPf#d[9&g.쳭YBՒ_RQTDK$-J_Y $!(P4Cpa^KEe>7'L7i a6lb֣ZegfA_k/"",n m2-v?Ki쿝_0,ATJNrgrEuqm k?;HyTlU:NtE=Jɻ6QD:l