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 II, D c]]ZF:threads=6elapsed=10.786cpu=36.864gc=2.340factor=3.427zXZִF! f ]ŗXf1-) enȈA T"%zav{D{kEŇ<{Q ƕF_yl攟r_x(V2N)g&CD&q}n$f{z:^HA6LFV(]HUjr v׸O~\ظ1xaM<w.׵Nu6_'NO4TQd4w`+?cݎgʬx@lOKMWMwvgR+FApquM)ݏ6~bL26\"qO:𸟈{]xo@;FYELRZᬷ1G}dhsC 4ӁỵjO WW n`(GnL(+ݥ!Bw /$F!7{iZ Or:#XGBٯ5ܝ$g9[v֜Md.ܛKEYC5\P(δr=!|ʉ_'w;GAWH EGn-xی!׸B`E[RrB \*}h| Pl<$g{$z[ѻM!l3DKI+Slz8y>¦C$XHe&$$$r-\;8&@qɢsNU: >~7-Ft3%PdgnW=Ъ_4[*ۿNL2mƂYֆwh  `Gؙ-@c@kzIinfü5PTwxEbAμկ6M"Cȓ2I/w=zAciɒǷf6( $E[icFLGCdX؃@Zi'zyg G{5lM0.&ɭC,d"p\1J7|aդ`*UiG-0 2 m Xp /]-DՆ#ZGSZՑ.i wY)Y8]kaTk]\aNS`e'!@Kg'xE^anZ0+]AXs3%o!hpg {}:,쎄K A.;AD q.1G}:$OJqt; nhJǨ:ع?<8L&~l7WㄡK ?[,7+QY'2.6m ( nFd K kXS?q=)GdbT_#>U{HBI#)tzP~2M=帀=ɎtH;i&OL#7h,DKgYZ7zXZִF! 3Y]ŗXi%!O{Zgᮬ^*g6<'h ◒JM^Ь#_@Э= HinRǞ!hvưV .gf +%)UυsC&LN3bzMIu hOcO/: ؏Nkq՗' wBn›XrsN<`$,ߨG =#+g0{}oLpѵ\6zI:ٸ8Ő_$  ZFUfʪ"[>7?m<{܍d=ɷ jyry&zx M^SïsIFa^OX6Sýfy?ɗy-z5$>y9#G.0 ʷE.8CEk\H鹊`HJ ߡ;;iq{lJCIz?MNe] ڢ7ws&`7.