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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
J J 3? Dt ]/
Inductive_Confidentiality:threads=2elapsed=14.524cpu=26.108gc=1.396factor=1.807zXZ ִF ! ] ŗXf1-/6vRZ;P| ^T Z%DAևOt*;tBq[;viDHK9i76ֱ́,ᙤg$% ~ ^ݭ|^B>n?V$fTmy
!&^MTW 'G[j,7q$(wE
{_v֞" OTQܣp_"'Y2ߥ;;eJ@I
C`nCYH..p:bF4m.Ft*GtM ;q(t7 L4"5#mU,x a]n_ k0l#Zv6 \ L zC;[2F)'O kONdrVb]R~IX9@~Yպ9V<$ GYc[@jZ \Ö#w Avg YZ7zXZ ִF ! ] ŗXiɟT~@D yA, ݊>{*$@Zch}(cO4z7|k{7B:Mv Eߞ
RtM 0U埧6w77Ch"M u
"(V`{4V9SN*HE؞PC&E #p¯y`Ua0G LM*~Hr\oTh\ڶ"R%f' T 9
- wg YZ7zXZ ִF ! YV?] ŗXi%>g 2u厼7v O5Y| R[m!it`֬&ڂNW7O~XOC <6;C(6u- 8ِ6 Dkb ,eRprS:s
2 'D|:\% ٺ~T'MQ G
-cP%cb yσ 怸c .5^ӊ,sV p " &Z/ 9
:+ JWR!(coPeʡg49,ְsM\d]T.)ә`rydt3:ӆk7,s`*q
(2TK[ 7"SX":!u0S7E AƠ/27t\W)c<h? yTmvngbYfb;ޏJXr' i (;Bt1 k彈[
kv(! -"$&\%|Vzg7P6Q@as
!
!Xįb}{V4ݲхqn=I+54サ=+EJ ̰DI1T(a:xT+5ɖH2I{A/%S!6)H' HF'n+و-P \mh' /^\bnlӦ JZw ?̄M^ȿ z;`dDy?Gڸy^k5N6 p`*-,nRڿiTG8 od
j`G S,w]&Zu ~ 9^nZTmB=$H҈[2lJ;` Zr\GT
ײ ^g YZce84708b46c150a26ed5ad1ca7ad4bf43d87612f97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
? Inductive_Confidentiality