SQLite format 3@ .  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 A1  ] HOL-Imperative_HOL:threads=6elapsed=33.118cpu=65.824gc=2.164factor=1.997zXZִF! -x}]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʀЎ&g;J(w{D2صgzIE3iZ~7x߼q+ Ta8[e$׊'rU珨 G=TlD4^.O~j4eCJ ԒjT7l6u0B/NӾ6bb_ԄୋXK'VcbYUhe~7D~$%/~t!~-`UHI|P*pdH !@UFoNm!w:JX?W先9 }*$ 1 HOL-Imperative_HOL  bT=UċWy7Iy)5|[uApQ>:\ͥ,34oD9Wq 4ۮ~<ŏg:3 %Lo2c'Y5WUI bJqKʶkS(:L O- F7F+PI$lu|4+L+kȡ.ceऊ}#w4s)MYM+^>q)LeWvqblK[nfC0RON, 8,>)ឿjk1MwϹ]ԒEM(<)qr]xk | Ѫ8fsH] ~3Q\`R$Nb 3EIx%_iA%;' җ3_gIST;"kdYȞ*z`H&(>q4J'h| oiIxIFu8x:l$>juYkY=%9ЦkE|DT )&2Mwfǀk!GfF cS4q.ٞBcjïs/FǞ֙~$9"Tw ÔzϩE)QoX$5Fo7K߸F)s]-S^[_ 9<br FFt6*Zr~2\[eԳ&^wk0S^N ZlingYZ7zXZִF! <]ŗXiɟ1nhЦx"n_8N]( eOtd6wG c)X,:r X/HX\(ٌ8p䩵mɧK{Q|.΃I[."A삨$5EO@:l눠(+ftp'y%n1޲I/lAz:/CADnRynuKKwdKia~dAhEc()f})C 0ۅw 2!}y:)@ JKPR|@æޜAy(!cWMLf igYZ7zXZִF! ?]ŗXi%BƼdžaߢr*גZlk}u.fò>jKMŖ`?GtUl$tܭ#DԧRn7h00.n;(7N5af@O=E1ѨSU/NX< l7[}KIKY)aIt'BOotHv;N y+]ǻ&5Y_U *Fі%#fg랝Ѹ?:50VS]izSXje/ʹ#""Ԁp4 TOb-ez:qqv9.Ec長_h ɇ WGXкfJ@3IZuBAJdu7LĀf| #78D@. -3@6t=`X'?Zlz(xJ @3;PSFI8$>QC>lKޫ<1ś]i,9j2[Z6V(}q^=0ab5 +ysĨD>Vs>=rb#bwV0~!uw]捃r_^ ŦL vڮe<-Jbʋ+ZS]tyKD\^\gVO6II>FKe 1M!R!6)xΚ<ǯ$DŽ?xYC>:V/0Ϻg+g6Wy}cRkcX .\?pOs FNwB/rΓu""pޣT(A4y4w4F^9o'''(2m|_GI k2>s[/GfEg͎ ƺ]~ $6Q+ ui|&< ё*d7M,H4ne)XVe:Rx :xi 4/QBC)pa]}^G,"ض[rW^siZ€5(?6ꊲ๡Hl$l<Tvbd:T VY:>RWq&ި ٽj/E<4-4v٨ gx#\o 㑶3L4$2!c3fӦo{OwP|F0Z##g#{mwg/L=5HP:zj+"0uhC;F1B(Pz0J}v)D37t={y!?}oURDfF#8T:JE,Y"`^j\S0Ɍ*o2y?|cNe#ހ`eUj>T/{DEtGis]OeV`Ջn52/-{ԝV,dxRiƽ|[2b.ԳEGfѮ_},Ws}mt<5Je#w 3x T\rtF }? `xugYZ890b4b8a59934bc94382df2ce513bdbaa6b3d5733dd106b0fc6e16ab72e3261eac1cce577c86ae1f a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12 7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d92