SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ^^- < ] HOL-SET_Protocol:threads=6elapsed=21.568cpu=95.156gc=2.764factor=4.417zXZִF! -P]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM j1ݬP7*i%AHT؟.8TRZ{ je>=ulu On\ǮCs$d++1CȌiЋѰpM"W\Q.&&*v,\*<*9iA 귛LrtOVS24/n vom_HeGrf[z?GQ b-zP:v DʫZ z12\0=@˕r6}@h% MA ܶ/:>G36V ^򁮜5qnοn)ÔJ*.Y|T=U]Bc5ъt--e&JΓ?'PC_qpO-)"e++}^p9>ZB\[>ܦ?rPqO{H_"O''ĭwz@6"XYxzՙ? "x7{W5ah*$?1R}aƐl?"' ([j+#Q.S7F~͐a?ؕ.~LSX+Z@Es8Q^j@RU/EX- g rZ}̅ gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTu'O#^G%늉?OtJ!f̌x Sjٹ20 7ZLPGPcBX.T[7_|_`:$x6j yīhn&ޙE1WAN/KV}yYt1>,gYZ7zXZִF! gZ]ŗXi%@jT[ dE\ 4Wz0 ]o?4+U"PAPܵpPTS5_e)S6݊h~x.Dd_ Mh J#k}-Xx+Ǔ@~ڠK*YI_ܭX27*\JOY!xWEPfJz/t qQhf.%Ĥ> + Z󴨟;4nOI`?~ zҚwlpy LU݀uHAgso3ĠK"]mh-xTa}&h.~D=@%# ?&:AX {T / ?d}.8k>7I{D>I^ZMޣVk6(%j7wv%vL9 1@tV'vPćQL #.w 4,$?ݬtY<v<(߆~Twb4Myr{ÏoӶaXWLcr`_JUfd|IlQ#51vxYG:W/p=%'^@gc}c.9-n1SU(\a|m:=M Ի`n %]tTÔMf0[PKܺS$)W!.5oGoFEP.ǁ|3FI&[Jzpxbŗ7',JOQn)˺+){!sjQ1d=2 u[:7ꌀ3=}qa࿑z˾}̣ 挛}*<  <C$WH/Axw_O?̽<<9@HvD=MB7ԊɺBh>4ͧ^,Ky۟=pԂT+}8 |=ת% _hBZ]y<qn(IV%2$s[VVJa 49X6یmJO"l;:T)CAV8cXнâsRtZos.HEDMi qsí]+ :4 ki קasځ 4Q 8 Sn7vn:Y+^pX4wM!P]'X,ݱpR;gf'eG6I( sdeG~Tьu>W ޯ/ nðnzEڋbT Ҁ~jS3wx*.\giYg(NF݀nĢExo`@1- IjtgeVϺ-9FiQ3ImlK5o7-s1@Mfr$ި 6JhrEV{XJ֏بXuCG^EѹLdZݱgYZe26ea63bccfd0c353b26a90c54cee406cec53f7376ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec a32d043d7a78df09e2684446989c171f61b5b8c1 59273d16072f8afba7def3c47a660b4f542380a7 - HOL-SET_Protocol