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 p-,$, ] HOL-SET_Protocol:threads=6elapsed=24.231cpu=109.268gc=2.540factor=4.517zXZִF! ,( ]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;r^ُ!ҹ"jJtP`A?g\PYoϟYω<.]$cvp!et,fu>d6~mRԾe=ũ1+oTZ>ΕN%"4{ayb}]=(Vɥ!:, HKl4,Hgk&{Mc]R|7:a+6EG01O#A ~lJmIӞ)V ?R0d?. - HOL-SET_Protocol  τߕ?RPq`x N $V'W!fʴBHiTw,)yXa*YݰЁp&\{ly"z}r*H8~0\³Y*0hcgM(}ar":xS:/~|l6q'`<8-xK9zX.9S>3иG=.=h?fP^} ZPW>-eewYa 컴j2Sp5Bջ Dtg*h<!e$JᶼV0 vWEu/?; Yּ t 5Xk^Fs&O& T~ ᆽA~PHbLS kER(!e4IFF~+@]Bxسc<ɧ9x(2: Y+pEffnW8+05`:`¿/zᥝMH*.â2kQFqEf'Khd5/۫A& G$r$%_Ҹj̠?Fer Z%*d#mngYZ7zXZִF! e O]ŗXi%Eb> z9l{!MZU&3lqn 7 Duqcvr[ٷPؚF/&pD X*N a4Ȯ39; C du4{%K:Lbc_"+Uސ>ۇ./? XFb+5N6ZWfwiTm@NԸf\P[9*i pٟN$̺AZe+ g2sO@ *y΁fԵw {fzk%jJS{X"Y/P%uyW1 !+}[e0*ֈL.U-lк.z9 J3(`M1DdFX ::"sv)B%kYM3%0qk]zc4ӆHl? K Ζ?o6*v"c#LzaP$2a2U9E5>^id={Z;NH_cpg"hv9ʍ+ =T>V}Zr;:o,ΨB+3l{Z&76byZߤW|@F/BĆyz+5[ ~+{)yw^;GD}*FvKr̔7/#H*0#9 I ?~)0MAH]hT\\` )3^$oGIx$(ɜL~:4۸FASlc7!?u#_ Fz&d¡֜zRzdm~ʞ}-c s7qz}kvNnɓ֔PNm,@ƞIAlH&\81'bgVCl`X]QkÿD~9_Dž^h)qusBqȨKS>v]]ey8阯gv ~y-j|c%"ͼ>;~yYⶶ 6VuE]]l7jj")NQJ4;opW0{ER`4K-6Dž<#Lȯl _ҦSG ;cVh0$op >9n]k(>r'؝"lsH!3I#Cw $`ӊ#9 `DMy7<h0qPߝEx"*K㴖7 p;׌;9J3f5^XCrxt );>/)ɸ\*=S)^vT Feyz'Sk_ 7>mNy,(zxP*tEd~CܿXBBayWm{{knr6*s쯃'0n<V)0U`ڮl& ^DS j.mȉXyV%c͎hE}< 9L ޟ=F|v=3 >ѽ/.^{񐠅k[{uÓ㪓˗\ XنpnNh$!0pZ-F54Σ=%G]4/mn2$Qf n'so:ll"uY]ʶ.@t` @o'?!vR6𘣦L$͒1m?؃7nFҢrŝгeLd ",Af?Auʯk$y aa.GZL!~zC&USNojy6eHxd$No%ySfLH2BO?OT SÕ~槿I.Ci k6(<#MzN4rqӎt*/k93 pC(&gYZ31c4155060610dbef6ee46070e2120a149129beabd250b6fe2745d27d692ec1e5be14c03860b016c ff7f952b4b87130fc0230e1804ac75502f28965d a6f4395ca58e1eca5a9da4204f61d313ed481199