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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
O O .<$ ]]]FOLP:threads=2elapsed=1.091cpu=1.100gc=0.000factor=1.017zXZ ִF ! W] ŗXf1-)
^XOb86W;D|irK[ƽ0{dC]W^ DI: s Uig YZ7zXZ ִF ! r B] ŗXiɟ
2 :S~
žCm='K㢡:RpI>5YZn ި9H\ ^sw} YZ7zXZ ִF ! R] ŗXi%;}K
g&{tI̼LOuG`BTi^V.cN7\=HLsJ&˝[(9ngurb(zԜ+ȹj4ntArsAӕ|Ϯ
9@3&g)u`!}T.'gK-;?k9Z~Zw}$ꃌ*}&L55m7?ЗZPbjA*~Q:ZO23Q!P̦Q0A6[vutlMk$4 jY
Ȣ?ť@R{ƘڡEt'h^
ӌՌNxxJ2}G ZŌ =`g YZ9fb87e89f2aa43f49fc8776827ad2fb73a9a796904546e13b3ec7f70b074138ed2f4d8667390e7343659e6280232c5c725c88845a63842c34038a8b3
FOLP
r 1% 4FOLPIFOLPdocument.tex7zXZ ִF ! "S] A-MՋhvG"uIBm5 P]I
.lsճT2G'nꡜ8èyc:,7lq*}^?k6*a̕
gGY]B7.\p g/2-ț~]ɃHYMtf
'T"q.W@tfԀz(wSȘc䢄l㩳)+~Z}ٳbwELn'U䳣F
mKA7&@̪qNt<ӲdkQH۫p@ϝHƽ~S
!،IDy-ܼ7`M@ƕ]L2gXȏ ecµSΐ߬pY!2T^<+4:It;HdC8sh^_hauJW %IA^
dnK *n$*='vVc&6FѨ療0
U1GXA<9jebC
Cm SMb?Q%%6GZK-j,Rb')gf!\)}[Eڱ#3١X,W+,9s~&qaǧ⒐ % lFOLPFOLPdocument.tex7zXZ ִF ! T* /] A-MՋhvG"uIBm5^Lj_"@x4C/by'_Tp7(ݬ:Mgy}뻨(j(3iX1#xPk/Qي^UcYŁ|.`rbzf;_5ZLXQRv8uv~r TܞoLMx-Df$>h"|`ؚFoJTeX d?"XdIgA@˲O'XĻㇿDXyNZQ1WMln&fz3L!/n1kMS; ^;tPFÏ"9Pc7p,z6d @ PF;U⠆,6Sx}::rИM%]STr\$fZo;F!p=ڋx5 B\Kg!YO5CC1T(Ħ +P}Gl4Gx[/oB?]lN紸,ҟ~|.$R[xjP¶
:B8o\icfщmMnGNg04Hyn.;V*|[5ȫm\peL7Z'!I?R$ίEwҧֱ}UPGfS]CQS[51! '
6]DFG5Hk hckiV0%S5%Okt-YNr_ZĞy]c
描yߜ?$;dRE!uTD/Ajý,= 1;k'@8B\h*wAg+J|:%/Ch9\^3*͗nԇ8R9;B?6ȸ*:-S1|~m5K\Jd78xڙ'&{
{>*%4:'GET$#hNLUڐuT=2G}5]>L\~Oۑg3}$$ }#s4mzxxnڻTYQz)1 d+]?4j鯑y@MUM?,@d~wV264]%iHx
|[qIRLsh f90PyX^B1H@",n.z]Q%vdh@t#HGu^~nD8~ĤhK\b-Hvlu`)CN+JoպZ!b ei cQtLw :BۉhAHa
YoH<' 4"ZΥ@^#YqTNGHV_J
*
9.sѼ3
~/)ֹt;Yu$=ܕbxFMގl) #YEJ=OUOl9n:OBO\\WЛngRv&5-r(vDx^-W ELQ/.(Ilb&٤QoRxu}Zᕫp~wv)'
7j}Bb<JQIeZ# #6fkrx}Lӯ8TO{70%Iع8{L]wS'q@+cBy7U\҃sMrNӎ֞ q1io kЫ0z[`*,tEQaIVR >g[ ]@g YZ
%FOLPIFOLPdocument.tex% FOLPFOLPdocument.tex +a&+"b;fd
ňK!(E8H4gk&s7c ivaBB܄μ&