SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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&X6 z}Zá,s ' Myhill-Nerode  [k,Y[iWre(w/%:hgmFb_SuƒbD c4@9ʥEZpFKx+/YEbE"Qc2Kb(%!n? A|9p݄ZUM m-Flp2r}VWCd謔I20%'hD"0cEH/s6 S-ӠOB.=* Z 6>r^˨BztǽS#Mڄ8;%JUV]`ftg ` VWQxjQMn ZZ0 |8
    :vSjc1/@ td? =c"Fl$ 1^@JߏvulJw~Ͷ~SA7"WH5\i5kdqgsL R8WGV 1t?RFh 5 *˞ge}' 0tHRԎ87PJQf6aD'hzPO5Q6XrݜkR-˄&w^3ʹ[8Ձtx% -I`eݾOxO\QvFc"2i]D& O;\2z&p5b`iJzY;@Y+W)kuN,k}g0TMgYZ7zXZִF! # !]ŗXi%Eb⬞Mzb=h-8Y.jwƨ F?y_({;"U ֿQ+٩t=S Ow%Pn 탾4:alym4N( Um"&#;N`žaH6ޔAս%+>0 JZ+}&HT_Lm|FxLTUaQ xX] pu*YfUwYNe.HǯSdfТ3I..ಚ) ;Ӥ/hd)[ݧ_[@|g5X~'' |ޓFa o1.$&xʌؗ[P|x+B$S* s=|NOCj;huPאȑ늉\ p-Wap>,hXP* SBbv1tމDt! rvF ;0!o v[X2!y{lTg8B!37?6OQ-ڢ=,n?;(iqh7AG?^x3튰؝nF⠑~p@'Ȣu@unTͦ*ސ㬘p1r6P54!U=ܸ|vTcMrB? [%yz:8[ZH 7 k>c-BUDw{xn*\7& N kqAo- ܜ?5R.#~jpֆvse Du`sSRVYRx^fIhR=_)5X6TʡWV΋n,fDmͫ[ t^G "X1+Xӑ`5uHO!"j{]hէ - bYZR%:rsD)ܿi0剞: u_8Vdh pʚB7u=cQ +GP;3y&͏O˥6@:8hd@ E]J<7j L+dҔpV6wHISv$*.㤥FU򣅣gh㷆T6>KpxoPIX(ЏIi],G wD Ҥi\Ë{ 8'y)"jh&" $W$CɺWrZ&zlс~:!ɓ@ /?&L)ُh ;2agKX ;\!J[4^e=յaz,)O!%_j'9|+}1Y9OpLЕ,\uDCV.e}0aF?0֪tQCXj`Q-0oesڣ^vW#ITׅ>#iۥS-ꜞ{5nKTշ )ƎQe`Kl[O)*)SPRinq/Y*z9t2Bl5TYm01׎p .i/I +6ܪ=4$ =q8ItU.*T '` [qbi^ ^UN-ëhQ8$y񞆋49 Dsgx&l\* mT Gķ2чSI-“J3*gɉ㙃mL8̉Ts%~0r[cXi*7.C}ZWw@-tэ_i<[K:NBÃʲq䙄PUc_e e|ͱG-B z#Xu*0dŶiiZcps,41P/