SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   r# 4D ] Shivers-CFA:threads=2elapsed=29.073cpu=56.960gc=2.836factor=1.967zXZִF! ]ŗXf[&Q:/C?P۲9$>z LfN;1O77 I^wkR-%,ԃFT'eg#Ae@"8S̀_y ΑCL[JiޓS+o*DA**ĥG1ӧ+H\6<}aYM'FMom\Ǥ[ZBxJi#jKAyG"gXIYϤqnv2NGw UgYZ7zXZִF! +[]ŗXi%>g-Q\y6 >X1op;՛\bWqͬDzCl| GŁVKvHmj:rPРJd2w zX6!cYd}w W%+jZ ݐhLKUJlwy/ ʔ(R(CDlJ{s__Az7Z Yʕh1ۨ:->W`;?t"OٻJEN~-2de[r*ضj5\.?hYe+~a&GՕ82Oާj>ju9CSnׯqLVLEЊEk5o[N[AG;V*sc&&oAHN{E;?x$iĖfȁ }5aV!U0f-Q0t ^!W2i,kIY˶#!l:ih'e/3ȴ ]&L BU\0w>tUCy=" +]u V.r>`.h9#-)!D jz8+a]Q67?8'ebs'6C,KMtu>jvѨG(BR8[$?BzěI\^a2IX7SB%\4C|(SA^8 zI0 N%&ht+Xw^nw L@yCNw;Y 鴸/8j>^]AL@OOtcKz2Dw~ê7Jhl'Aö/twndzcێvc`8(a> aW7"7HP aG6,m(Mm/>gq׋U{T=bBi͝1[ R]J_Cp\8vAZ?'/kK|oB OmFGll5}zq;zT.)xvЯ}+!'&nS돜 IK`5dk:o~)_, ߇lm=I VZ5TcW XmmDVG |2^4 yL3ɳ+Z}GrCJ&Nyr)? UW2_8{ 7rlD*~xhKj)e>k=UPErע wz@ 񂿄鯓*j%5#r.kY7y;FVzLK;L6Q72 |#H=O#=GȎ Я޴sfM9X砕eV֧E~-wIq买d ¾bK; BO׀jUxFAǁBN9ރ 2{j^}jRlKeC#ASG/ ԑ=dǝF(ұ·[pxδe Mһdf)P;C_f䗷WK%WAa.#Ű .8 jj5 %nG墧dXj)w#MOS%+nm495S7G}f5 PJKxf B+yb?C߼epY˵^w ]PӹaFm!,Gkf*0bt޹qvT}v@4d0>6DT ZzѮ#.v[]$ `VgYZf96abaecd067557e2222901ef356e6c3e2c18eac0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841 # Shivers-CFA