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' d Y]List-Infinite:threads=2elapsed=24.834cpu=43.080gc=1.876factor=1.737zXZִF! J)]ŗXf1-/6vRZڕ`0 lO"Eu|CyHc]qQiRL&TCrvpBMc靯Rb|CpW R Qt. c-9I'3UTN?R"=Z0FN[eۭЧpx >/9Zţ:I3ɛ)xios;o2H2kKvZjI/..bUjڃ󖿣>3_=@ćf)XUθ{DzFE *B n-F &At4ռ#zB6a6Ț@}jϺ:Qևe_R Hp!w52Ja9FW'`+M]j,^|R(w .\Dٝ$Nu$!zgYZ7zXZִF! ]ŗXi%}r-<5uग़7'= sϥ;WB!"[ 1(#dׯs 4dZ`yduj߻S IZljJFy<K7&k0%wyQ}MKq(,\f9`'H=ǚ8}wlm?|Ph!ss0:0m"mO:OqeSS{6US4ѯ^<0䮍Ҿd}1}Y]n## c`ˊ-/?xBѴ˄ >H%?ąqeX$I(3`91QijħOjUppV.VI%M!X?%d^]jwI?J8eA6ؗ$y5KZN`Z'[07~ƞO9S]cVxb3NU@А7{* ZCt#3socK/tX!OfP(FK2d^+{0\<~ot)T6uBSRC'P7bg1"b/a<\nk.VY@\,y=;^XZ){WKc ` 3'ҷNO ߜʟLo:w)88FNz5 R[A:?]; ۿߛޒ5|Q6 A(fm|˿?gU _ZZ֞mGཨJ<#rP,/^}I?y ;oSmʯ#,*Go?'>'DŽ@*8]uOrT S5/Y>'V&KHiPCaJv*)śɉ:1CA͡Y09 Ş_Bۺ^b׌DԹS @ʙs0͖7"[ Z|, ba" GzwGqN&W:cAHp1FGxm7rOL`sx K1wD`SZ]bNEvF&W ܪn}WY¤݋vdq{iM%4CIC=)[{}"%;Ekgy Ajke|o^CA`-kX<H%iSKrQص_HCE9pډBJz+!7A-n\W LqsU*gvi%ۂiu3dsaL0:\(!F{^|f1ñ5S &pi3>+;M7\6`6fgŅ9!w Eu[?{9D6L2י.>~^˹!u?vZ̟ɗg:HFͫZ2jfLGp66'!%2Ad#wo2. ZRl#tF,'ǩWҪ#:b@,+J