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 PP-) \t ]% Groebner_Bases:threads=2elapsed=33.294cpu=62.520gc=2.084factor=1.887zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;H-n"3Vفm^ԏ2 r% 1{a߿䃇A"|8lepWCD:{sakпN,LKmos>꡻]7mԎo-,3fqA ]pKwa^"r _eVL!5 ~v ̤S;4\bE۱-E _D爛GSYgɔz =Ұc0;uÿ*܎H]}~g5y1Ӹ%_3Cc`ux&e&Z1&B)3#ơgYZ7zXZִF! ]ŗXi%6qPU꠱G80e"Hz A6j@1 ޛ忼RA)캉~ N]th)͠ 0-CyfQbbK(d._w)GIoTYXsv$y|m[e|[(zUnF_n .]W΄bP \tL4 L)!DD]0 @ax#>\ VLz@^ )<͞0k`?c*֛MPBQ2_ 7jUC1JvM8 pnSHч&I85>htL௠-z2dnwbӘK8t(4髄Z =3jPךEgH5"C դ')Է-DDM@C9K`9Oq5SMl82ԃwua? P~Y@^˳`2 =u~r)Ę4pQ% Q4<)NfdհmڍЦkR`*֡L)tiLQ~W%#FD1̢,Rtud5D<+s DѫtCڄwȺ hKA#6)FpYHo\ODZi/!ы]??lsz~X*'T+NX@/vVj7/"߭9"w\2u]NG6xVvaeUtwʛe]U+a3􄐤q=Y1؏_+5NͶER& V-}Y? F "ZP l$J4,N[a=f5EouL9>aR n|japkJ5aݺOm`%+,vl :Hx[쫊VНLw%y!(ܤcv]ZS)[:&y3tNP]tX 0Q f\r8v!)F0^^`NW+R#(.Gu'&OZLaoD+[CLиpt%n$QGʳzqV~xRecwܗk?$f)AP}c Iy>#eM{lk@ {9Z="MUǬ-=/mt}"2:چ͝n"6e_ސ6vMeP p\3f(#ɈajUh$C2ԋ Lrh>8g)$g҂zΤıv>kBss'֌BV{Qp, bBY܋VuV#ԡRk `zcb0 筡闠e\ <fᄝ{ONͤh9OjdNa^2y1l:{mbEK6t`\ A[|w&c=FBAE[zJ,$]ǩAPhUzܓy,JD 6,toD4nYd=.y#e%[G>:_9;ERŽ1l'|',`FMBԍ-Hwtv@ 1I'B/Ԡ\8#&ͦ=Ф*oj E VBD.vl͓#ژ{ʃ w'ECxً pei$4ÓNRI:)*%x88y!\A@;2)?5Ne0]&hX*;yhWwʯih