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 $-\$d ] HOL-SET_Protocol:threads=6elapsed=24.421cpu=109.072gc=2.588factor=4.477zXZִF! -r(]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;ՁHw %6嵿\.+@$=*_ wp{I@ӚJ6~wIu(0դi&]jmT p8FeLKKl CiB1K!*#T͹ {~q7K.l 5j}APE_PE-f@I:bK6)%c˩O%ਅ9-b? )'*n$D2<{ڄWrn - HOL-SET_Protocol  F֚&<ј5J:n2E^tBOt6mӑsbP#6+QJIۋ=Q$3=t=[3#l0ξ+k8D?.@؂|$}~R+h/w2ō*Rh1ם,j}複UTc"B7=,רW_9l`,iVZfT1T6./ۦ P&&{_U#r6] ,fːpgeXHqcH3~kK"Fw>g,lrɲ-p]w9̀:Z-nOvI%y`4_%0=@7+ǜШ-b$5ͺ%4,KuV״}!s*RIO[J ) Ipf >dBO"I*UHL$ᘱ6K`dmZY H_?ZeuVs[3w>t#"D1z)VBZIgb~tn1ޝZ! ~ü-%f2Nk[:VlNt pHH+!أGbH˖WtE,*JRS525Q [1W W8Vő{l0D`kK(c3TiZѤgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTcmh\Ӵĥfr贉 fu2rXN^VvgxJԫ3 G rjUVDG@v_BQK![;E1' r_oޓKp8bEGV-ٓ&m_5VqM6tuJbkFmngYZ7zXZִF! u ]ŗXi%J O/SF2 82jxZQGg e[,hb-&ʊQ{[e2z ֨ 7B׆뭆D#*&,։pE1'g?T"ZN"%)(30B;QB;%莽_{ȕe.*߄SF8̼c ?YF4up+-^")[]سr+ZKH#tOU&1 刮A~y+)]A"} v@d,FmkՎjOsP/"SJŦ8\q$$(N> ERx❶t~[z37 ފbt^?{o^@ y8yrZV~QO$+Y!0ntQ/LP3~ȠtBBh9ڊsk  1gnUy}M쵣L}HK`Lo:Ӟt)lD[;4&o% ak/6[L_k<)#c !Ww6*}G :+M )~۴/(^@ EBW4|n`t15M~i:)εֳ|T}/#n enXcs&WUP-X*r B-b>w2(5U=K>6{=2{G·2$iq^߫aFʧ-{2w8VL!r HIӂvQ>&VzV'SL jEȞ PVrŹ8nC 'NJuq~^[R<_<# &>e_X;UMcl<:wCeQ y"kA@9QE!p`f9vj|s fW+',bd]pf1aق=˴@hq'{O.4]R pR2~ۨ e+C*x 6')f˅2jg6+Jmu,ĂQ{e ab ˗$p? 2C.qe޼BG;f !蜸Ij?[wVl0X[ᄁHLTlV8X`imâ*DnCVƺL,ń\;|&bYNY5VYq--yBV2*Qr 3Mok~yd5tjJڧK"a&9Bx d"EM(Jx4uhFdՖvW0=[z u͘>tK_ps  l@F:uQ^ >˗L I!*8*rWjنxJKaFB/hjoT+*i-QБ)]μGUY.?=9>B%hV[vlߎ#.d˴p fOPp-<@:3R|d\x 4WJ !B<0|u'b2a(8}Kִw! :[>Rl2]F]>!9t!-ANįTGdAMTb9+3yݿAoE,."}_"г>1{iVZ#X[?̸ Jbe 46~ΐtG.\YHNq LE=J{\Rdԭ)FѾ麧T,( e/ѠJ*'wgYZa6b4cb7a4dc8c5881c6904d4b97c66e8f6641c66c2de97967f5bbe0778dca40cd734a9a6aa349fd1 b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21 2d4043d17a45ce51a751166eb66c0416b64e0e66