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  ! !TG d s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=56.595cpu=98.136gc=3.836factor=1.737zXZִF! 79]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy޸-]c pɁ!}|( Gb Ooh\]#nN!kxup>l#&o4@[ځs?ѵ%1PB5GyYu oǮG@K4SL+o+C^c)f Mp or2޽@k̤,oxHW>838ÛKTI\i8~\A O#":Pro+ݼ6X?tKW^Ѝ/B1`GWs!tbR]_/ʪMKku,`JÚ; 3SwvÛP15A[e)/͕2wi3D0P2m1l, `& fMU6Dz uUt{JaT cZ ȫOfż#̜mtO,]hRJ9;2=-WN-nitCX7)}ݛJnN9[#vn)QT2: |&UqXGan^n[7t $,>3 d ~#jajkvfmEK)ȂMcb*bY@O[n7]>y:V$nkkP2 `q|a-HkI(cq噠 "唖x`(NƦ1wZB;wТz1&HAp!{eXp)XJz5s8Qc ȁe:  MVEt8O<3Y*xv 3dKXmqr(߲ Yr=ipcLl̵Ƥ7!jrx&D~/6Vz4ڽNph<7m[f0X_\& Cr`q0dSE[">WǕhk o+gYZ7zXZִF! ]ŗXi%6ҵVÄ/~zxH>D_80ł62 ʘy?#aj* OސD4U $#+E[s@^jAt<; VAjA}l H(\tOYx'1䯀5Ǣ SdE8  G Probabilistic_System_Zoo-BNFsU_9>4g DA5j PNjZHU҈x@!]Ne:l3OF Elِ +r-髪;M xҨ?gz6AiP Jjj_6bA4[LVO`+n']3K8bqs/f4K-! 3:@cF`/*.*{Y6o"ߦBکG;%D$K "C[bv\ۢ 7~n!uZUAdrv;,Y@%J&U# ɋGq(u mEg4uP%AK@A]^pqqZʫ| ;YHPDJ#>\A~YSy%^ [ά]ꀿ?Hi\UGn[5M`pa~os^+ $J=<>6?Mշ` OH7ctkL`vL̹gaal6cyECqsOՅ9A׶l>-j̗h DƧX|Hq!k\E a/_HsWRF'){le=8AE)+~KĠt*N(wQ(`k齦cd6nI$mUF4E]=*gNm¹V3Wko]9k E.10l&y@ɧ(7 $J"6<4MFLZ D3Ox"Ry^V%x6"B@ϟH5JA96C]> Dl>w%QL1lŽfa_3Oat0~ g>nj ޷9BI%KI(O!\q}ꞈ%"q&I-Bk\Ӯ tL '02]y.ʞiFUr c[L|f=Tn H,iN0Sb_>(JYfur4 ,k2Vr?H7| 0&QFm{OegOH f_mL@v-$P4 9;eg𲻍#/ePD`>FցɻUglB-z:I//=-L9ppT7Z= TPG8Π+pE#-UnRu߈gܼ'XP˧2aC~ fVJHn|gȇy2MSilqr6qVj\0JI| &?WeX-]`:IBPM)(X>ᮎ