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  n n $ld ]S PCF:threads=2elapsed=51.816cpu=84.072gc=2.828factor=1.627zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgsohvʯlӦ cΎݘ'Sd>C\>f9u.-]8 g({8)pI-I˟; þ:$;Յ 0NW}}k.hX9lζ ^H PWṃ[aʗ(7џ](0y*z-3#zD<>`n* X [ Mlyd3(1XxV~T`[#X'c.Ra>*ok~0c+aێ賿jxK `h5sM^3_M%0)HSF2S ؄K5(GRyN?/ Po䬰GF +s4ɸE"f3ݬ޺ZLEp"d>a0*W5]7V#4,~I؇ Z߷ٷඣ4q6 8pI`fi&u_*,  PCF  G*&zNPv"A! QF"H$gvUs]#Lő_VR7B~l39CS%]`{ar:/f*Ѡ>ZydYLO BueضiJ z؍ȼ8]rYU6` uڭȴF*1f54S8/ ~ ߻c5? A_@ IZ 5Pk;d,fgF&8S rhRzˤe". H0B `3EXh+| d@6+^~&<-oχȗDŽZv9GzGhU\2_lrNL+~#좟Gs:PV ȷ3l)*i?Ɣ!gYZ7zXZִF! j]ŗXiɟ1˦r*E$O @zֲ_}@aKpP}BipwĭpJ!$GAt3T`R叫{ڡZh*ᇮq F/Y.N' E&zc0gi~[5ȞG)}+Ĩ9+ &{ ҍНIo4e/Bл 6͗ /Q>%S&]]b]cHI֨FYV7*S mU댏ʮ&#Zڶ> ޸1PbS ,.jܽ7|\td5%AfHӍ*Z4\|/ALl>td3KwI {NlڇsF$ohkr]W 7̔UE1[elawCj\uQH' %ISEp+|cCKQa jDZWSZRnЇ5]4J*O[BUa$[7|mb$BL䁂Dtn񞣔^s?&[{r4Ps)\hPd;IIswV]7#ۚp:бAP)ĉF6:0E/_z){:ƶ?2c8L"|FOgXg*(M 3xމbq=[Z70>@J+u G챛{3* 31wgV n4/'ԓ) #+I5X$M%@ǵKGHL,ggMҁTc'B2Kt;d1i>O.qO z̮0!PW<9F$#GxCY2}; CY5֨^\HP[lGڕChopudtbPf=-8xh-Ev90[`\]5ڃv[ 8*։*CZ UA w2ǜB֫dfkMYe `׷xU(D*F@y h4;bGFBat:h%5"ԋTZ2T?']np輫DLy^@VyO  >vnO^b}/Q,)^ͣ$J:}#tc<6]Xe?pnEj>V_WR) +mWP|mjb $Mzdd#m GsBTlf9*ih*5V7W-&vdέiJXQ jd0ʜ~䵕)NARFĹ Fӏ.nt=t e?XQ^'T,# 62qh-iLratt y8JO Zn}v0js}~)i`V TK-KB~[_Jt _-6nتk >Fm^v=@xu ksv%G P=ft-z" #v17}32<.SzcKPn_[`T!٢pqqnGJvmg \ƅedL߾?=yj燍NWqHJ 2}Ѽt%UW-Gэ1IRjH ?'js먷=wDC3ЛwzvR+jܔ 8i̢8u%Ml['Wci?ŸI΁א4m2~),+oR@wG_snp%A(3Pk.G@B3>:fE[\pY ]/yʛ'$~ОU;Sh,ߣNUW$5 uvc {T"P(,' `]\jUi5(ӵ` J@z7ﰎ [hӿe1C;>ajildDʔWVkĐ NL5.LyT f)sȤ;%3锜Mn\Q7!JM0o;GKq\{usc^ǩgYZabea75065733848ad3eda83b3f280049aea63804665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 0bd3304a582979c438ee4e1b126b4178b8c35f7e 97cb32e5f6fb00b3e718fa45f284116caaa73910