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  ] ]/Tdd ]S]HOL-Number_Theory:threads=2elapsed=111.096cpu=196.548gc=12.860factor=1.777zXZִF! k d]ŗXf1-q恈D='-/w)ߎzK4VǸWJH|rzQR1'$YZn JEo2ɶn CØnB"t+:gΡYY yoҦ;rsZ@Q NldηE%ܻW}Ӯ34jT9koq~/3u Lkɳc&ds\nw? Un߭^OˢHiv>do)N'_?lPu- fկqQ  Zwh ɳJQ\Uǽ.]H)s!)1: Fi،@NJs,W35s#qNl[c`2,Hjlj5Prf& "bˢ10*9ܶ;.eu9dо:2aKM2lHY u74_ $W~^J`,~yF[sixTxFNn*ɚr398gSDPa5Z NDǗL"S 2Gx7XVv)גD" ZSGZ\-ZmhC ӓMΗYm#ѳۀ"󖘾1+A-GDFcpJN"fKJ5zl0l*P K*yc _2ѝ}j,<=:NZSWh8MT $^<HS_)zd)^7aM/1ɔ'ZEHCл QY5PwLIdAF7 sv{ԷR蕖RNK|bَ2}F%.TMm!<4Zߑv$Q70

c aTҽb/~fh`^n8C\~Q5gzn7N2X ՔqpHF&鹌ukVlo@&}=q}r56XC`Gvt_]sLy͢-d qVy-6?i,aiAJ3;iYӈJnR K&;l.!WɱgYZ7zXZִF! ]ŗXi%;}й-\}}غ'1_»p-!=µWU vW9~nÈcoIIOW jb(?wCptIfnXfÇ[{ T"qK椃M~& E zp$A tМ䫵Oub?2T1{ o7e+i13cqd,"xD(Q03|r:`jʪTU9 vTdsN!#zBܨtaQwsA70mtPONQJO^R~vN㢝!53Ӟ&3W0Pv-@^OZ9CĖƋz:|^Cݕ=2hzdLwxe(;1'@"n=ՅRm:Ѥ~? \Be X׬֠ݢ@2'&&I\{|Z4K y~pBG rVPɎ6g('OR]>z@b`pU{}F'ħ-"FJnbAlb1yְ^6 <@]Hb@8Wz&(H;b.l9Ut(injr>(euRTL/fRF_Isi}#38p8#DjmMu~Ԥf?#iF*t:Q(^5PRbCu9[EsQA$|5[^6Ig+ >Ԯ.\f_1PY?l}>BV7D>"uS"7g,CyYCK1xn~ m6}@cLV:4b*3ڔOڸFrWZ[pQS7Hu1ZhjP_fGi bu;|E`vMY;uEt|*xVꔧtأ1Dg!BMN=Btg?~RWΊt-RM88hۑ0^5ʹ8MouLUn %Fyy,u$=p"WwI,UC+ؗ`Ss TQ`c$<_b9'þ]iB 2f.xswX exlI7k-ʕ1AGLigue#$Ll}h?V͊Y,޴Oe yo[PITdH<>6qSIA7ooY| w<~\L,dT&"oiCcPkX<$AtXRX?O2WpC|T"y̿`yUeH`\]{ .ki͆NT/g%MWq1N^u#D3[k:‡Ė~} +]R~2ÔOX#^c&rx2Z&v mQFD7@- ֬N˟,BV;f3*&X-> lfvPasr*#(`aN9L#_<( N\~sғu>adt~RV\_`xxLXta !mحeCܧP,@wV.:e3K(wH7 I]k稧FR1,;3NƾN.2 ?Yy.B#Yfqv= Cz*tPCacJQnIh  \q]*I{?ʚN"lo._J?f]ex0&H$9M!Cfm.`Z$ve uyy*|/iC{xw}Ր1fXMt~\?)}] ;W餙MPμA>8V1] E $ӶB̙侪$+>!Pق'ZnhN3@/ŴR>o4C]4 t16ƛU 6Clir.Kk쓐/D/hTI{w'nr N,S/Ջ|thJLqi9cRv̄7K`+Ȫ+7׈&:B鞍\76 W1SՇ(O#?O_;:~T=B1wB.0iOYg3E4qX[r6ŅbiҎ:oTP AAQa{ۖvً̖*רKtA(Q9@UM\?1aΞc-gBnN5]w11tm<)1ILڭj".4_oӤ3Q8b-P4 3`jh'Ӷ1U4X5W:0R+z^ 0*A~-[QEh(rOA⇓$;@MϸG~cA?2*Ԟ1)a$PẄV^ l ׃ȴwc`iGH03F(_chg[*Gă\bp7n9Nlcx%wᢏl'^ VV`XֹX̅Eg)2O^,*(JG4cGY nʙ5Hy$-l%ihcYL z\S(6(^m魒^SwnMk;~$}gGP5[ "Z[|*qq|P BLtCu 9 {D w<. j{j@ JOu^fxd;# w~xBeg]Eԟ?t}=0{τXrW{6P+[TZ/ c;X0?F5ORXLھ&i"l_txԺ_4C-c%:vie误߹9;VJ.%訰M=-l$(:3^4?n]sC8EZE`R52K>xSA-eub\9 W&* Fsqv*HjѪ3ktM.B39^܉,.;W ~9UWnEz_:PzFDNF^.Iځ :Rx>$VFQ# j