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 \ < Y% RSAPSS:threads=2elapsed=24.118cpu=45.188gc=1.456factor=1.877zXZִF! A]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩼6RT$4ӕ(5}eOl e=s`!ْftLU8bHp$ulѩM*6իaoϢũH2Œ%\j: =w͞b qoM+&q78r3 #3mpOT|(J!tAT ڳɭZv|r,`bn șޖOcNX6MZ ]с3b8: beܒf7ic p9|,/FsM5wdޒzM^M0~Gj%j'YLBj[KDr8Q2p!z|lqYߋV9"/3]oEzNɹi7ѣḰ6nw. !QլYͷXK&m7t"$*<[ɩqi }!boaF«^¾duX A&~4LiR)27 Ia q}iwCVhvv|Q5<ۤ. BEx콴C; ;}dֻ;^a0Ù}gYZ7zXZִF! z_{]ŗXi%6SqC![+*Kg!ˈﵨ::۩ѬmxRPC?[ H9g1fM"DZfq7)+zߐ@j:Z $6:9~Q^*4H tuf6 u VE/jfH;ǵv\Uc/?Hcivr~[h| 1o2V쾚+:T$'](܈pgU6% >X5آBA>LfR'kЃ}g\S٠-܆!XsZ{G=Dt]ph:?;&NLaGe[)Uj7]p9cȇQ\~OjpI#`BvXМ1!/] tY\ PtAed nBXJW\6ی&_lb(TS%j8x,8r[GمkR&`B L5xU- xbWb́do =,qS1K QR8 ٕW%Y ptq73rBj2Nw5P!@ΟDyJ@A]I"[)Zv{9+ SaYBC^'h;&pm[ 0%^s 5v:*˩ "`f+<|ytWx*YIPxʽdoܬ \0Rj&eFmS[̈́[}5`2ak8҈A`mv(͇֙0兲Urv)u"ww@Cb8> "=49pqs:X%2/yu̽RJ˾ZKp/6JZ__Px^ AU,r,[/H241䨁 {ZG L3+%wi?m N.̉$[pG[Hn>Ӄ$3 we[Gʶ}$W|ƍXIkcSҝ}TQ;bЦ/D$ (^CksМpKR2TE/weUo9`>e W8v!l (&̟_cezP+*hrཥ9-itrBfxr(7Ao 9/?6')W`Mξṡn׏\@nwҹ}Ф0dR.)G ]afڅ~oq <778LrI9H?=|ӗdթ㏿ l6^ۡ 'ǯx+҇ZX !ˮв 5f$u/z]x%Nj^N<:|D;`9<\r *~[t98)?9ewB?D۱h;k`.q$^Rc`!e{leS7ѓ"\ġ9