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   ]1 < ] HOL-Imperative_HOL:threads=6elapsed=35.853cpu=80.524gc=2.632factor=2.257zXZִF! -]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøU7vӑ8›*ؿF=اVT5_O.7+d?Yn-eA\I#vi-Q0\os">t 0bs!Q׌˚ʃd&d=6\r&#)ch~Vv\Ů(76b?WaUbZgUR*o9jΓt-z`}@ZxzWXЗc|p:SkPMBHNBA"iD}+ `x1 ۽q}fC9U|[f8FN 'J%å>p&9x ڀ ϳ!\o=؄cc\$QY{GaE8cM`zH*!P9tɹ?=i8 8yz "1+ɥ`vmvj8]F ~rLr˫ [cmϣ~S%:*eJƯ;+V|kֵ&cB II+gIðET>3*E QO\`?FLƑiTF @BB!ܴ)VT|Oة CtLVBaFd>W䩫ݤEi7ihƂ^7mMf+L\dO5vAD|,#'o"PL>xJ=c<5ScֶR"9;i+pZ0BMQ={vNI.LxF](VYMAU עBLJ,̙Z=,Bt`TF. 3azz,@3dULR [4ggYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtdڂ¹($}w`-{ V`d*ZA>g6cji>S=  Gi1MWe-mm`%lwrp "_P#: N~a8#d;˟ $ ]L''l3ԮRyoqL!{;N p<9ݡ* i@s|y-&G?pL8xFMa*P$i J^T}oޛGԴe]Gr xE7" A˱gYZ7zXZִF! T @]ŗXi%Ih! cτK<DY*CmNd*.|&M,HUcKC,cF2{TWukp1%h[=x~):k2~Z# '}T3{ז'^7a>'i>jXeSCP$pNp-}NBߧ5TBt9@  >+-}$-bLE8$yl&iZnoe.i y,sY])EY&(b?(YF^eK3j>tl-SB fZG8i&GGl(ˈ!\dR,g_0TO*Al[vK}ς!ۡةzN>]ֱ8 gΥrKk,v݋H>$[x!/s蓖.t5*}ktIkG/$PH&•#%^1Xf]j7 s{e ȷax>*6Evܐo$3H[O&u!Mq6b6[0i)B~kGT'Wr΅1ٍR[JM|0}%kyN5]A&I 3%H*N/\-fl$7hC+^sn&r,~=s̝І-^:tXyP:M,؊C_PU;8~hIa։ ]}yDi[;+M,4i7WW:ҚU:_ J$769]=DwVoJA#B=C;W& 6rK=$-`= fi,=mD$B.8/85.$4u1C?9"Q4h1L^Ig{o Mrh^g_* C:e6}U8m|.1E|B >s85V9kFL6UfݐlJj}uB~I2|v틪3DZ/"Z#<`~/F)BnF"nBzy+wlt| a4R׫s[]5x?`W f<?N7!P~ :y0Ș^xS!ֺ'Fϕ6e.ϸx*C-e{srfP{*#oJZ=bir#3GV+f<nu)F{1WXje4{ԭ=q l [ɏ|"x>#O Nm*-C8 \~]*D j\Sc XolpV ŮWzv fUFq=MPThx;a~A҂ <^Q&B8Dz@"ʃ"S_b ,/L.Z"Xȣ| n[߀! =h N>I#r"ұU 3[zCJ:1yj`>OQwD NX8: >,NB2SHT ~"y W7S"=FPm4n 29$7SqCf/6nThA SU[hVT܉#V_ưm<$B$Lcf0D^^Mܥ2_-Fu?A͂z%gR;DևJ.3FKˎMxYkU@"5!J AY?O8f4JYg6vIjœazchh׉G"8$2SW]܀\BgnF*ī[ cʱXĔ50uH>(뤆;R'^ߦ#hm9N.)n[W4VlL55)k^ݭnQr̩|M{䁫ML2%37&e1"|*E%Jչ0#9FH]Lx ca ]rb o|BYL Sj=CL8^aT09v>p "u&8 PaJ@MtAs~W_Ʃi ׋bh\u[0*tO,.VYXbʈlJVb7xI1DŽQq휨5NpAoբv޹~#T#3 UvWbN $cX.pQ va؞QV"z(ef I,ng@pN<[?a&f}@`{٤Ǔ(Qw-/F.%VشcK zܮJ1+Y=(XwB1%g`Ⴊz홲 ~?ȹ :NB>6|A(lK='^"E#MV/P(*CU5';V5s]Jfk㪀MmqOnG^l /[؟Ako9;*uf[lc,oЫڪKnR~Qֶvߒ