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 1# \T\ ] Integration:threads=4elapsed=7.020cpu=15.904gc=0.488factor=2.277zXZִF! ]ŗXf[&L=RgߴD. t03<ЫP8s29o.8+AY3.A6V[1)u˲>55x9amԦ>$/_譿x3;Jd嶧qWmv8EHkc$̈́5`eyTHRgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 1<*59|\8è'i&^ f` %q:I|T]LoqwIp j sc:/WS Z궀wɛ]|TF0NUqb9-gYZ7zXZִF! ?]ŗXi%Gg@`c2Et/xpɦ\ ,(q 2Y'h%[s8- 4d傞jUiȎy;d6Ogwo`kJL|,I Iw79pVAۍ,m^z1wY0 񸐷9 ʺ+F+\4P%FDm0TԺ ;m%U|%{OhM"8. n,&:dBgY FةA-S$Q}Ȼ;@M~mj_Y"fAEIe1vL;oQO(_sTL3vM i7䞵!{>pM1t󻗱, תPd9 7}m\֚ &%JJ*afYp^K;r_OrV|&jRp艗yHS0;B 0D=JƪEd}by%/"8m\řPrœYŃrXqc'A ݜzsd+\A)'#Q8j=ާR?@3dI,rm[$|S['7AjA,vBeݏAn@pMvzWվ5O 7\fVbS\q͌E@!Q .Qﱻ*WׂiW' ag&_Rr2@Z?ͱ=· 60"5Z꭬5YF$m9we:qcVQuW~´S3?x5_ jY۳k,56DK|u!vb{n;B< /x#ڿz3<~~0zu@<嗽LVE [TA&$#ȾwkI]֊D3lMamDB&m!5YAs,L||T h!bU%q6$fDSi t.H9XMs^ͪb}c0_`ϕOJENIh5(%y !1d1 Jvc/>1`{[-HHkͦi $pH(q3g mD?7)Tj><J[RƚBژ}Ԅ JgYZe899b42521e62cbe3c83ba617dee1d5c432456381795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be # Integration