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  T\ ]]]ZF:threads=6elapsed=11.903cpu=44.152gc=2.408factor=3.717zXZִF! =]ŗXf1-) enȈA"tr-j. ZbNVHSw<1m\(Oăib&j}sQ<ќpLHk$+* MB!A71pZIҴ顈_FucFp̰0b-r@+SeRGϊ OK'Jնl2pYVIc&U4/w:cÊ+)$c@߱Ç_^M$쟣uͮtʯ*P!> NKXECoIT/t JiG|]4B,3qɕG_Ͳ*%?6B P4bnN!Ʀ›yψgpv_Eה‚(G$ PnQLgYZ7zXZִF! $]ŗXiɟ 1FE`空?ib7 bht<2((xNww0U~U&}dr8!x9s+{GJw9p=Qȗ H[L°/t5DZZrh!͹NDG7\uLq # /==R?d^d.h)ˑMd)3K@rȈ 5~3@5:IS#o6QkڋrYiG-`N^};(=cﭡHoNX:rUOIkRD6=VLHO%%q4N%O_f_ߺC.V:88|Z\&֛D s JX;̓e7t)s"ZO"J*AC^$h&kpƂ֜]FdD媕=J/`)Y7{ =1_LSTJOjGgYZ7zXZִF! C?&]ŗXi%B"|$4&/wh+_N-,-b+P#9x8sOׅR G}fl{FnS hWQǠ'.7=iIC1p ?}umI8ኝ^2dyU >2ͭXUB4WYxwy3 UYpq[EްzYM ~cIx]Lmt9S:o44*TU7BȤ=4 q٢k /rbǫs w q# 25*Y ^1~L/tBܔAP>RscQƀ+^_yH@3n1;%STW/#g)|A(@np!1/ Kۢ}}/b@i pꊯIkYC Ga)7#! ZHT8vA[9B/l,jNwd; C @HcRI^#$/ ,tªL׸K/kݩ DT>=K|IFڮN?\.@k>7w!W!R*ۋR x}4eS9><@0a]P /蠄6Y9|]tc=! ]Q5bjxSW a'Lu>cӢ)$99`ZGbJJnSG)н+E'_~ F& GTA Zjߗ)6iN-tvR6(})sV H?x6r~ܚe);,C'Ж).w|t<OPq Uq:bh>ōM:Uܸ<+F%U#g1Q#},0.5; q=Q/c =mS2)'};!pX%Q0l?4;qD_vg<=!Gq;7OYFx   >kбgYZ539f409d376aad1c476a69fd46d1efad8c125a8f65b7e02b1e5df641da48590b928c3fa43efd05faa644f287d232ecd41f39327dbc3524a628d2d96a  ZF