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   l| ]]Word_Lib:threads=8elapsed=26.242cpu=79.582gc=4.261factor=3.037zXZִF! n]ŗXf1-/6vR[@WdDZCØZ, N,ݐSt菤j.=XA;ߝӲLěižђ - ) en/1 Q9n^\ ^{-ןbюc#(=D-C֔psjhI"D=D$Ec)%Ԓ|@)B;6:Y zQu k"f`='-"?O!wctr:p׼2-&V!n -$yO΋*FDwiMffL&` fRі2[yDr+yb:< ݲhfrد~YxS8Ĥi IR   Word_Lib  nǽLbM/պӤNa?ZR( ~]LFb_rR J7Z$\pз5qy2*+3񁌓G(wY(|!)±%UѦBcG q65=5z Ӵc;.E/ެ=^U6M?8r?GW^ /|,dWie)ˌSc:R9_q}o%2Q?gYZ7zXZִF! tv]ŗXiɟϨ:}(lZnFp~sZ%mc`v~/ܹ>͢@eseW3\QK &ڲ=uL9*9;YG܏:ÙDŜK(L8Չw,i] kϤK4NK^ ?&i Kz ) [?Я$Z=w}@9LɪV-D&`[G)Z)MByQ0d\a>WabA 4 q iYfYdfԋ@˔'lئܸ8jKRCc.pLrt]볗1JHJ24=)iJԱpz`O`QIms zthgYZ7zXZִF! @ :]ŗXi%EbQC{뽏ԎDV8eBRaԘj#*z" +ϰ xl9pR9|Of+/گ![ pL"X,8l zl1Α 11'x4:|hjGXp! BzcyhPaY[)2MUԆewMLId|L9^U;EDdd|%!hՉow[4zKȝEY:Z2 0=|cW5V6\~wEdƓs]f9щST0dà<V{l.xF>Ь ?)͍ݣNp7 ScivxϓO~iAzBIw:WWcN~}h)tN΋hP3sf pWۋP0-5=xcί0jbܓeR6TCxOndH88f%8 N=rsY\֩P fj ۧfɸc5_*ӆ M.i/^Wm.NJg; )#%y+iԙeĬ̸ qO?shpq+b\;INQ^ sTiRڝ:/s t.K.{I~V5(%3᮲z@`kFbͽ~lIcNĒVL|Xj%YR1q,9 : N^pOx:@F(nΟ 5I۲\wSjAԻF$Mu)ޱ)$Љ7 XteTa~<=X^|~wsѶKPdM;4(|n9%^dc4S)R@'"o@WJ 4U_i`m&US ͏ZgpEq4e+bX3t5gQx )gD-0޿_+gUnQ!AO_> m=4LfQk3>CkNc"lWDcQr*" Z<]$o)<ִq,BFRr6ј_l,29TO}5HkKǧD`[KPФy K܎^[lD|u Ym9*Y&mt1-r8{&Z =ڦv'S[p7ZD6 a0,lYn"$·:vwv!"U^