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/ Binomial-Queues:threads=2elapsed=6.364cpu=11.360gc=0.484factor=1.797zXZִF! D]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNefxP>a *xоBa=5XYVIttWdo8$g\Q ʕ bp 0(+o܃%@&U^O_3ՐP^}f^ kTZw18 䏪/Ժln@U="ݬzBe!m4$Cily1mD ff_41hF|@Qvb2ϦO]e1C B׵*љ 8}5Vʅ阴X X|z 68=<V5 N7J*/`CYξ8E=%]B=N3qK`Wr;7+9xP8-{mgIԌQ 0b$tRId$n2D H~ry+S=q5ڟʶ|VfzKjvFa%4 HYұ`Li?J:h!T#8q]Pjm&:kڐJȖpyRpDyR2'jcڜ8ҟC Ҡ v; |HŰgLߚ?H̆c)\zF&p^;.GSP̨v+ړlL}MM gdsFf'|-+R]ȧ'Ol$s )NfL`Ĵ{/|,'TĻ f5Jb0{ǝOB20Twt2za88lMdEkEdW57!NPqfj Jq<7pͯ3p;P0<>=Xߦ6GsՆ)/:a19e|2Ka $?8oi:Y!gH.5'J_U+c`ه|las CrĜ\7IK v1+I%wOv מnHϜ;9+F$L*Y& Rv  ggYZ7zXZִF! '&]ŗXi% j9w; ٺVD;_'w[lzt6ɬ\B?mk')-@v[03V Mٺ3H)?z˻Plon1۫3*;^Q$1KG >)JG֧Z Zn|? 8i+*3VM&a)RכӟD.g\1>;'Y$uߜD"9e5yQv}A}vi݂HF: R0((#C'u8UvdW'8|Alxc>y۱:w%@'eݓ lo$lHS2ZGͫ=B@nfRgJ*ob`[mȍ(y [L2AT$|BtwsFVdy]&>+$lx!9ufU<Pcsbze0U#u>+7'/DTܫߜG>B4llC܌kjYṊoKqK{z~KIg#/x/j%Z!8Ը:B͵Rt5X! {?VwHb;BP^DhT;Bss115) bٔUaL JJg\ Ungj!|o19K \A,E潣y|Gbt(&oŵe䡩p\ zUծ-}N8tRn ;Ύ>"/l:qS@ȑ