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 %# Dd ]/ CISC-Kernel:threads=2elapsed=21.092cpu=40.352gc=1.696factor=1.917zXZִF! Z]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee7v.Ş,l.7tOʙ?x:U20WpP3fYWkx/Dtk$7n͡ypprEPih*Lΰ;EXOɒiͤKre@Ҥn$]|eXPhAihl%Ö"@+x; K6nACH{y7, m`+kXo V6v!aWWBVGxpPi(ݝ` `1Σ$Sov}ބ:o E۱CHpXeKyzRF[9y\eO=x&48@lcڡ192F ޴{fbpKwHb;Y½;k+̒U"8#9Z}~z~&(HV\#xzmemVMyqJ}y{#옉sMIcHiW%Rp.oKXߚhD2g ɖz>H ~ kgYZ7zXZִF! {J]ŗXi%>gt`X%'81ȠU\svvzb&z&2mr:`ml> (pvK}}a+m_?]R4*'97™K\UZ+P[x*ڲdWal4m ʤȣQ]s?cnjiy$A%<¾k(E/{:pRI">}8I0kLԄcR Za "IO6.McSu7MW6В dwm3YQf/v ^OԲGXU35 $ J6̌H~O-4SxD؄Dz]p0?7z)0)놺d10=ە*Os".yBMV|݆IJ݃n+8CS [A9`$A%p$!pGJ4R)y!%b܎]W'dRz1[P2k[3MڒtkǑ?GJ|3$s`6~}>m)kG11rx_m;l'Tùp<଎xRʖxm@EhBHː"PYP[fʱMe/L=97,?g u]2dɩ-_>goApNM qE9B2;r3* fI*bcmʄU Y7JWwJ :FpS|%PLLRX.sVjBꍷ7դY62-PV1+ă]K:BяsG~*Bd,RNB 'zFp4RͅnQMŚrvZ59Fd(F|794᰾s}eL تHN%.'%왱>)J+f6,P/tr .jl)Hyce,ڼ'T8IjŢ'غPHpxVԙ [ZhzzS4.5ђo])KMD?dG|[G/;|l?XDa*4]^L) m,־6c]Y4=e->M7'02Ȝ(߁K]eکAn:7 oXZum|{m 5w#iG-az5S=ة 0&a+c N}7 $.0VERI4,: ͟>0q