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 ""[- $+ߵAF0[CW{ÝgS`Fx7q(=EK[#UN4l> J yOkJfE$B? LuOos nUUEJ0ޠ/TPx|RyJ162W`?4jTrQ`Ӵo: Х0-EEw7D l6BCb7\$4YDiYwpr^g^GHr1.5bOl#Fb 5Cjڈ/ͣHgcĶ .f5l +=B<b9y0N3y>&nPOU6顓W_>,gYZ7zXZִF! cRq]ŗXi%> V-x5)eGP6Ve 4k'Ԯ,a}-.GLwD~A1IUL5Z5:Ι,,gœPPt# TC>j-VM' -+JXyBd@^onW`"UGk:DG*а&ˠp&Ѣ ʃǰ`- l1Lo|v ˺pFk奵8d?a-"@pfZ54hʆJPv:x#]a3+ه(ʭ8+gDZ\ށ+^ nw꺌W \[VԎ4"-ǬȎ@/D[\%T$9qe~e<`a,9'eѻAiF$aKh0yL7a ?d*ci}DH)j_XGt_p[ 㟈_b?:R* @W'-P >f2uJ2Q.DVIrA[&drӡ֥?,wFH[E ˺KkKyѻUYWM/:5GtfWZqf&qQxl.>EJؾn6}U>\X\k=c9:ѧ_ aQȢgSԏ†,"u+y=C mybسg>AQޛiu4SNBh96%}M_\"tb&SY6$7Xi/6Af b J.5^cȸv VB/ٹV%$wNEuɍ8XȀ6 4DUuʃ2,QCJ=(/PD }.SJ賁{X;c"%bhfFb@ii" Q}8ũz ٖLT ؎ܻY`0 jq[JKA.'tq *tLZE3|^29.o8%R2,q.S ]w $>8VϜP^k?va˷b+NHve(j4i:9fʉ,fqMRk;CJV3pL4K[ B[_k2L{ELΚLHĹnb7ԹQ=;lZ_SߤGA%I܃.fvmP;BJT,q@p?4&&ǝ^W}MmlZ%$ŗ]١`fOV,JPcoZ!4>t v6̾,5GE5!`FȤG)-XT[ ۜXM,V6( L :Yo9 :gW;qĪp  +Z*maQ8d@R zwY؎K`0TFd!HyX-P+d5#%Hx%77ڵn:hm8W{&L0dȮ@垡ݒ=~Ǚw}\V36#-W}\aM2zE 6+CcFE4Qza/OֶdE~EHv7)f!YM[ͨEP>2roH|4 7 t=U>?=4*zת [N!@B;]! :e>z%fKB.?SG|Ə ^[b̳>3^D:5@ma+H ƃ\3ݦuDÂ<%#wΉ[gYZe75e972d00d6cc47887e2d83ce99364e259427999562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d f9787eef9dac6f88ba0216c94e4366b98c680972 - HOL-SET_Protocol